Options
Title
Software Engineering and Formal Methods. 17th International Conference, SEFM 2019. Proceedings
Title Supplement
Oslo, Norway, September 18-20, 2019
Person Involved
Publisher
Publishing Place
Cham
Publication Date
2019
Series
Lecture Notes in Computer Science; 11724
ISBN
978-3-030-30445-4
978-3-030-30446-1
3-030-30445-0