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
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
Cover von Best papers of the 1996 International symposium on software testing and analysis
special section
Search for this author
Year: 1996
Publisher: Los Alamitos, IEEE
Series: IEEE transactions on software engineering : 22. 1996, 7
Media group: SPECIAL ISSUE
Cover von Special section on the international conference on software engineering; 6
S. 353 - 402
Search for this author
Year: 2004
Publisher: Piscataway, IEEE
Count: 6
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0