Use of Formal Methods by a Silicon Manufacturer (1988) [pdf]people.cs.bris.ac.uk11 pointstodsacerdoti2 years ago