Compositional Specifications for ioco Testing.

Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic

Browse the full ICST paper archive.