Fm 2008 - Formal Methods : 15th International Symposium on Formal Methods, Turki, Finland, May 2008 - Proceedings
by Jorge Cuellar, Tom Maibaum, K. Sere Paperback 2008
- Author: Jorge Cuellar, Tom Maibaum, K. Sere
- ISBN 13: 9783540682356
- ISBN 10: 354068235X
- Publication Year: 2008
- Language: English
Specifications
| Index-10 | 354068235X |
|---|---|
| Index-13 | 9783540682356 |
| Language | English |