Title

Integrated formal methods. 16th international conference, IFM 2020. Proceedings

Title Supplement
Lugano, Switzerland, November 16-20, 2020
Person Involved
Publisher
Publishing Place
Cham
Publication Date
2020
Series
Lecture Notes in Computer Science; 12546
ISBN
978-3-030-63460-5
978-3-030-63461-2
Conference