![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 5 | Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço: Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP 2009: 215-220 |
Selection of 1 from 5 records - Pascal Manoury has 13 coauthors
Copyright © 2009-12-28 by Michael Ley (ley@uni-trier.de)