![Functional languages / Theoretical computer science / Technology / Bluespec / Inc. / Arvind / Atom / Lennart Augustsson / Formal methods / James Hoe / Computing / Year of birth missing / Software engineering Functional languages / Theoretical computer science / Technology / Bluespec / Inc. / Arvind / Atom / Lennart Augustsson / Formal methods / James Hoe / Computing / Year of birth missing / Software engineering](https://www.pdfsearch.io/img/8cef493d5dd765292f16eac1ea90c9d4.jpg)
| Document Date: 2008-06-04 08:51:50 Open Document File Size: 384,96 KBShare Result on Facebook
Company Science & Artificial Intelligence Laboratory / / Event Man-Made Disaster / / Facility Artificial Intelligence Laboratory Massachusetts Institute of Technology Formal Methods / / Organization Institute of Technology Formal Methods / Massachusetts Institute of Technology / / Person Rule / James Hoe / Mike Katelman / Nirav Dave / / / Position guard / Scheduler / designer / / Product Formal / / ProgrammingLanguage Verilog / / Technology design verification / Verilog / / URL http /
SocialTag |