Vol-1134⫷ Vol-1135 ⫸Vol-1136
urn:nbn:de:0074-1135-0


Vol-1135/paper14⫷Vol-1135/paper15⫸Vol-1135/paper16

Automated Specification-based Testing of Interactive Components with AsmL