![](/img/cover-not-exists.png)
[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 - Using partial-order methods in the formal validation of industrial concurrent programs
Godefroid, Patrice, Peled, Doron, Staskauskas, MarkYear:
1996
Language:
english
DOI:
10.1145/229000.226324
File:
PDF, 866 KB
english, 1996