Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
CMC
Home
Publications
CMC
CMC
MM
Madanlal Musuvathi
Madanlal Musuvathi
DP
David Y. W. Park
David Y. W. Park
AC
Andy Chou
Andy Chou
DE
Dawson R. Engler
Dawson R. Engler
DD
David L. Dill
David L. Dill
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 2002
proceedings article
Published by
Association for Computing Machinery (ACM)
p.
75
https://doi.org/10.1145/1060289.1060297
Abstract
No abstract available
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top