Formal Methods For Components And Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | December 2008 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2260661 |
About Formal Methods For Components And Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. . . .