Integrated Formal Methods
Subtitle: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Publisher: Springer
Published: Mar 23, 2011
Format: paperback
Number of pages: 348
ISBN-13: 9783642162664
Notes: Source title: Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings