Document - Message from the Chairs of FormaliSE 2019

2019

Conference article Open Access

Message from the Chairs of FormaliSE 2019

Gnesi S., Plat N., Day N., Rossi M., Kang E., Challita S.

Design Creation of documentation implementation Formal methods User requirement formulation Verification/Testing

Welcome to FormaliSE 2019, the 7th 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) 2019 (https://conf.researchr.org/home/icse-2019).

Source: ICSE '19: 41st International Conference on Software Engineering, pp. IX, Montreal, May 2019

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:446379,
	title = {Message from the Chairs of FormaliSE 2019},
	author = {Gnesi S. and Plat N. and Day N. and Rossi M. and Kang E. and Challita S.},
	doi = {10.1109/formalise.2019.00006},
	booktitle = {ICSE '19: 41st International Conference on Software Engineering, pp. IX, Montreal, May 2019},
	year = {2019}
}