Complutense Group on Program Analyis and Transformation
COSTA
Quaid-i-Azam University
Islamabad, PakistánPublikationen in Zusammenarbeit mit Forschern von Quaid-i-Azam University (1)
2014
-
Testing abstract behavioral specifications
International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1, pp. 107-119