FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Bibliographic Details
Main Author: Gaudel, Marie-Claude
Other Authors: Woodcock, James
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1996, 1996
Series:Lecture Notes in Computer Science
Online Access:
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa
Description
ISBN:9783540609735