![](/img/cover-not-exists.png)
[ACM Press the 1993 international symposium - Cambridge, Massachusetts, United States (1993.06.28-1993.06.30)] Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 - Analyzing refinements of state based specifications
Felder, Miguel, Ghezzi, Carlo, Pezzè, MauroYear:
1993
Language:
english
DOI:
10.1145/154183.154193
File:
PDF, 870 KB
english, 1993