- Authors
- M. Carlier, C. Dubois and A. Gotlieb
- Editors
- J. J. A. D. Brucker
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2012
- Journal
- Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic
- Publisher
- Springer Berlin Heidelberg
- Citation key
- 8788