Vol-1334⫷ Vol-1335 ⫸Vol-1336
urn:nbn:de:0074-1335-0


Vol-1335/wflp2014_paper6⫷Vol-1335/wflp2014_paper9
Tobias GödderzJanis Voigtländer

Automatic Testing of Operation Invariance