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/conf/isola/PasareanuB12.rdf
Corina S. Pasareanu and Mihaela Gheorghiu Bobaru: Learning Techniques for Software Verification and Validation. (2012) conf/isola/PasareanuB12 10.1007/978-3-642-34026-0_37 Learning Techniques for Software Verification and Validation. 2 Corina S. Pasareanu 1 Mihaela Gheorghiu Bobaru 2 505-507 ISoLA (1) ISoLA (1) 2012 2012 provenance information for RDF data of dblp record 'conf/isola/PasareanuB12' 2017-05-23T01:12:13+0200