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/nfm/LiuBCG16.rdf
Jing Liu et al.: From Design Contracts to Component Requirements Verification. (2016) conf/nfm/LiuBCG16 10.1007/978-3-319-40648-0_28 From Design Contracts to Component Requirements Verification. 4 Jing Liu 1 John D. Backes 2 Darren D. Cofer 3 Andrew Gacek 4 373-387 NFM NFM 2016 2016 provenance information for RDF data of dblp record 'conf/nfm/LiuBCG16' 2017-05-25T00:40:10+0200