P people.cs.bris.ac.uk Use of Formal Methods by a Silicon Manufacturer (1988) [pdf] 11 points todsacerdoti 2 years ago 1 comments
