Integrated Formal Methods
Subtitle: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Publisher: Springer
Published: Aug 09, 2018
Format: paperback
Number of pages: 436
ISBN-13: 9783319989372
Notes: Source title: Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Lecture Notes in Computer Science (11023))