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

Roby Joehanes

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

2001
1 Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187

Coauthor Index

1Matthew B. Dwyer [1]
2John Hatcliff [1]
3Shawn Laubach [1]
4Corina S. Pasareanu [1]
5 Robby [1]
6Willem Visser [1]
7Hongjun Zheng [1]

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