The hidden models of model checking

Willem Visser, Matthew B Dwyer, Michael Whalen

Research output: Contribution to journalArticlepeer-review

14 Scopus citations
Original languageUndefined/Unknown
Pages (from-to)541-555
Number of pages15
JournalSoftware and Systems Modeling
Volume11
Issue number4
StatePublished - 2012

Cite this