| Title | Formal Methods: Industrial Use from Model to the Code |
|---|---|
| Author | Jean-Louis Boulanger |
| Year | 2012 |
| Edition | |
| Volume | |
| Series | |
| Publisher | Wiley |
| City | |
| Language | English |
Size: 10.01MB | Pages: 384 |
LLC: N/A | DDC:
