Publication at USE 2015
The first publication has been accepted at USE’15. Bernhard K. Aichernig and Martin Tappler: “Symbolic Input-Output Conformance …
The first publication has been accepted at USE’15. Bernhard K. Aichernig and Martin Tappler: “Symbolic Input-Output Conformance …