Message from the chairs formaliSE 2020
Gnesi S., Plat N., Bae K., Bianculli D., Krstic S.
Formal methods User requirement formulation Design implementation Verification/Testing Creation of documentation
Welcome to FormaliSE 2020, the 8th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Europe). FormaliSE is co-located with ICSE (International Conference on Software Engineering) 2020 (https://conf.researchr.org/home/icse-2020).
Source: FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering, pp. vii–viii, Seoul, October 2020
Publisher: ACM Press, New York, USA
Back to previous page
@inproceedings{oai:it.cnr:prodotti:446374,
title = {Message from the chairs formaliSE 2020},
author = {Gnesi S. and Plat N. and Bae K. and Bianculli D. and Krstic S.},
publisher = {ACM Press, New York, USA},
booktitle = {FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering, pp. vii–viii, Seoul, October 2020},
year = {2020}
}
0000-0002-0139-0421