Shawn Laubach

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2001
c3		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
	2000
c2		James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448
	1998
c1		John Hatcliff, Matthew B. Dwyer, Shawn Laubach: Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151

Coauthor Index

Last update Thu May 23 10:43:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page