search result

Cover von Formal methods in software practice
Search for this author
Year: 1997
Publisher: Los Alamitos, IEEE
Series: IEEE transactions on software engineering : 23. 1997, 5
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0