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