dblp.uni-trier.dewww.uni-trier.de

Greg Moum

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
1EEMark Lawford, Jeff McDougall, Peter Froebel, Greg Moum: Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. AMAST 2000: 73-88

Coauthor Index

1Peter Froebel [1]
2Mark Lawford [1]
3Jeff McDougall [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)