International Conference on Software Engineering and Formal Methods (SEFM 2019),, 17, Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / ed. Peter Csaba Ölveczky, Gwen Salaün

Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / ed. Peter Csaba Ölveczky, Gwen Salaün . - Cham : Springer, cop. 2019 . - XVIII, 550 p. : il. 24 cm . - (Lecture notes in computer science; 11724)
978-3-030-30445-4 Brochado

681.3
510.6