Korat
Top Cited Papers
- 1 January 2002
- proceedings article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 27 (4) , 123-133
- https://doi.org/10.1145/566189.566191
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: