© 2019
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
- Editors
- (view affiliations)
Conference proceedings
IFM 2019
- 32 Citations
- 6 Mentions
- 13k Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11918)
Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11918)