17th International Conference on Software Engineering and Formal Methods

SEFM 2019 will be held at the Science Park (``forskningsparken''), a centre neighbouring the Institute of Computer Science, University of Oslo.

SEFM 2019 logo

SEFM aims to bring together leading researchers and practitioners 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 within practical software engineering methods and tools.

Emneord: PSY, PMA, formal methods, conference, software engineering
Publisert 13. aug. 2019 08:54 - Sist endret 13. aug. 2019 09:19