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

Davy Rouillard

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

2002
1 Richard Castanet, Davy Rouillard: Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. TestCom 2002: 249-266

Coauthor Index

1Richard Castanet [1]

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