iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/sttt/RobbyRDH06.rdf
Robby et al.: Checking JML specifications using an extensible software model checking framework. (2006) journals/sttt/RobbyRDH06 10.1007/S10009-005-0218-5 Checking JML specifications using an extensible software model checking framework. 4 Robby 1 Edwin Rodríguez 2 Matthew B. Dwyer 3 John Hatcliff 4 280-299 Int. J. Softw. Tools Technol. Transf. Int. J. Softw. Tools Technol. Transf. 8 3 2006 provenance information for RDF data of dblp record 'journals/sttt/RobbyRDH06' 2020-12-29T18:23:53+0100