Model checking java programs using java pathfinder (0)

by K HAVELUND, T PRESSBURGER
Venue:International Journal on Software Tools for Technology Transfer (STTT