Model checking JAVA programs using JAVA pathfinder (0)

by K Havelund, T Pressburger
Venue:Int’l J. on Software Tools for Technology Transfer