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


Vol-1135/paper14⫷Vol-1135/paper15⫸Vol-1135/paper16
Raul Moreira VidalJoão Pascoal FariaAna C. R. Paiva

Automated Specification-based Testing of Interactive Components with AsmL