Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / ed. Peter Csaba Ölveczky, Gwen Salaün
Corporate Author (Main)
International Conference on Software Engineering and Formal Methods (SEFM 2019), 17, Oslo, 2019
Secondary Author
Ölveczky, Peter Csaba
Salaün, Gwen
Country
Suiça.
Publication
Cham : Springer, cop. 2019
Description
XVIII, 550 p. :
il. ;
24 cm
Series
Lecture notes in computer science , 11724 , 0302-9743
ISBN
978-3-030-30445-4
CDU
681.3
510.6
There are no comments for this item.