Model checking JAVA programs using JAVA PathFinder

• 1 March 2000
• journal article
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 2  (4) , 366-381
• https://doi.org/10.1007/s100090050043

Abstract