Document - Message from the chairs formaliSE 2020

2020

Conference article Open Access

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: PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, pp. vii-viii. Seoul, October 2020

Publisher: ACM Press

Back to previous page

Cite as

BibTeX entry

@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},
	booktitle = {PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, pp. vii-viii. Seoul, October 2020},
	year = {2020}
}