Auflistung nach Autor "Wotawa, Franz"
Anzeige der Dokumente 1-2 von 2
-
Creating Test-Cases Incrementally with Model-Checkers
Fraser, Gordon; Wotawa, Franz
415-420 -
Executing Abstract Test Cases
Peischl, Bernhard; Weiglhofer, Martin; Wotawa, Franz
421-426