 Date: 2008-06-04 08:51:50Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering | |  Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology
Add to Reading ListSource URL: www.fm2008.abo.fiDownload Document from Source Website File Size: 384,96 KBShare Document on Facebook
|
