Robby, Edwin RodrÃguez, Matthew B. Dwyer, John Hatcliff. Checking JML specifications using an extensible software model checking framework. STTT, 8(3):280-299, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.