search result

Cover von Computer-aided verification
Search for this author
Year: 1992
Publisher: Boston, Kluwer
Series: Formal methods in system design : 1. 1992, 2/3
Media group: MONOGRAPHIE
OPEN V 11.1.0.0