An empirical investigation of the effectiveness of systems modeling and verification tools

Anand Jeyaraj, Vicki L. Sauter

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)63-67
Number of pages5
JournalCommunications of the ACM
Volume50
Issue number6
DOIs
StatePublished - Jan 6 2007

ASJC Scopus Subject Areas

  • General Computer Science

Cite this