Statistics
Publications
3
Citations
1.2K
H-Index
3
Active since
2000
Affiliations
Kansas State University(Current)
Shawn Laubach is an author at Kansas State University specializing in program verification, verification, and model checking.
Publications per year
2000–2005
3
3
James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text
Tool-supported program abstraction for finite-state verification
Matthew B. Dwyer, John Hatcliff, Roby Joehanes et al. · 2001 · 128 citations
1–3 of 3