BibTeX entry
PostScript
| Toward Synergy of Finite State Verification and Testing. Gleb Naumovich and Phyllis G. Frankl. Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, pp. 89 -- 94, June 2000. | Abstract
BibTeX entry PostScript |