×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [verification of deoswe]
Home >
verification of deoswe
Tool-supported Program Abstraction for Finite-state Verification Matthew Dwyer 1, John Hatcliff 1, Corina Pasareanu 1, Robby 1, Roby Joehanes 1, Shawn.
213 views