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.
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.
Publisert 13. aug. 2019 08:54
- Sist endret 13. aug. 2019 09:19