search result

Cover von System verification
special issue
Search for this author
Year: 1989
Publisher: Dordrecht, Kluwer
Series: Journal of automated reasoning : 5. 1989, 4
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0