![](/img/cover-not-exists.png)
[ACM Press the international symposium - Roma, Italy (2002.07.22-2002.07.24)] Proceedings of the international symposium on Software testing and analysis - ISSTA '02 - Specification, verification, and synthesis of concurrency control components
Yavuz-Kahveci, Tuba, Bultan, TevfikYear:
2002
Language:
english
DOI:
10.1145/566172.566199
File:
PDF, 308 KB
english, 2002