[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Generation of multi-formalism state-space analysis tools
Pezzè, Mauro, Young, MichalYear:
1996
Language:
english
DOI:
10.1145/229000.226314
File:
PDF, 714 KB
english, 1996