search result

Cover von Industrial-strength formal methods in practice
Search for this author
Year: 1999
Publisher: London, Springer
Series: Formal approaches to computing and information technology
Media group: MONOGRAPHIE
Cover von WIFT
proceedings
Search for this author
Year: 1995 - 1998
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von FME 93
industrial-strength formal methods : first international symposium of formal methods Europe : Odense, Denmark, April 19 - 23, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 670
Media group: MONOGRAPHIE
OPEN V 11.1.0.0