Software model checking takes off

Research output: Contribution to journal › Article › peer-review

Find It

@article{6c3ebc1858204838a3f64672f111ce65,

title = "Software model checking takes off",

author = "Miller, \{Steven P.\} and Whalen, \{Michael W\} and Darren Cofer",

year = "2010",

language = "Undefined/Unknown",

volume = "53",

pages = "58--64",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery (ACM)",

number = "2",

}