This volume contains the proceedings of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013. The conference was held in Madrid, Spain, during September 25–27, 2013. The purpose of the SEFM conference is to bring toge ther practitioners and re searchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods.
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
BRAVETTI, MARIO
2013
Abstract
This volume contains the proceedings of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013. The conference was held in Madrid, Spain, during September 25–27, 2013. The purpose of the SEFM conference is to bring toge ther practitioners and re searchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.