search result

Cover von Special section on formal methods in software practice
Search for this author
Year: 1998
Publisher: Los Alamitos, IEEE
Series: IEEE transactions on software engineering : 24. 1998, 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0