![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 7 | Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett: The Future of Formal Methods in Industry. ZUM 1995: 237-242 |
Selection of 1 from 9 records - Nico Plat has 14 coauthors
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)