Software model checking takes off

Steven P. Miller, Michael W Whalen, Darren Cofer

Research output: Contribution to journalArticlepeer-review

98 Scopus citations
Original languageUndefined/Unknown
Pages (from-to)58-64
Number of pages7
JournalCommunications of the ACM
Volume53
Issue number2
StatePublished - 2010

Cite this