Formal Methods for Industrial Critical Systems
Book title Buchtitel
Formal Methods for Industrial Critical Systems
Publisher Herausgeber
Springer / LNCS
Place of publishing Erscheinungsort
8718
Series Schriftenreihe
Lecture Notes in Computer Science