Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems.

Dawson R. Engler

Browse the full FM paper archive.