DMCA

Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises (2002)

by John Rushby
Citations:83 - 7 self