Tallenna
FM 2008: Formal Methods
The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
- Alaotsikko
- 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
- Toimittaja
- Jorge Cuellar, Tom Maibaum
- Painos
- 2008 ed.
- ISBN
- 9783540682356
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.5.2008
- Sivumäärä
- 436
