Model Checking Java Programs Using Java PathFinder (1998)

Cached

Download Links

by Klaus Havelund , Thomas Pressburger
Citations:314 - 29 self