IFM '99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

More Information

Format: Paperback
Pages: 496
Edition: Softcover reprint of the original 1st ed. 1999
Publisher: Springer-Verlag
Published: 01 Jan 1999
ISBN 10: 1852331070
ISBN 13: 9781852331078