Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642307287
Format: Paperback (360 pages) Publisher: Springer Published: 06 Jun 2012
Save for later