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/fmco/ChalinKLP05.nt
. . . . "Patrice Chalin et al.: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. (2005)" . . _:ID_4c8df756baff5b0d5e492c35a5cf404c . _:ID_4c8df756baff5b0d5e492c35a5cf404c . _:ID_4c8df756baff5b0d5e492c35a5cf404c . _:ID_4c8df756baff5b0d5e492c35a5cf404c . _:ID_4c8df756baff5b0d5e492c35a5cf404c "conf/fmco/ChalinKLP05" . _:ID_64290f9bce0abcd02b3ea6cb18e30432 . _:ID_64290f9bce0abcd02b3ea6cb18e30432 . _:ID_64290f9bce0abcd02b3ea6cb18e30432 . _:ID_64290f9bce0abcd02b3ea6cb18e30432 . _:ID_64290f9bce0abcd02b3ea6cb18e30432 "10.1007/11804192_16" . "Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2." . . . . . . . . . . "4"^^ . _:Sig_331bf29dec4908c944d7277cd718ee08_1 . _:Sig_331bf29dec4908c944d7277cd718ee08_1 . _:Sig_331bf29dec4908c944d7277cd718ee08_1 . _:Sig_331bf29dec4908c944d7277cd718ee08_1 "Patrice Chalin" . _:Sig_331bf29dec4908c944d7277cd718ee08_1 . _:Sig_331bf29dec4908c944d7277cd718ee08_1 "1"^^ . _:Sig_331bf29dec4908c944d7277cd718ee08_1 . _:Sig_331bf29dec4908c944d7277cd718ee08_2 . _:Sig_331bf29dec4908c944d7277cd718ee08_2 . _:Sig_331bf29dec4908c944d7277cd718ee08_2 . _:Sig_331bf29dec4908c944d7277cd718ee08_2 "Joseph R. Kiniry" . _:Sig_331bf29dec4908c944d7277cd718ee08_2 . _:Sig_331bf29dec4908c944d7277cd718ee08_2 "2"^^ . _:Sig_331bf29dec4908c944d7277cd718ee08_2 . _:Sig_331bf29dec4908c944d7277cd718ee08_3 . _:Sig_331bf29dec4908c944d7277cd718ee08_3 . _:Sig_331bf29dec4908c944d7277cd718ee08_3 . _:Sig_331bf29dec4908c944d7277cd718ee08_3 "Gary T. Leavens" . _:Sig_331bf29dec4908c944d7277cd718ee08_3 . _:Sig_331bf29dec4908c944d7277cd718ee08_3 "3"^^ . _:Sig_331bf29dec4908c944d7277cd718ee08_3 . _:Sig_331bf29dec4908c944d7277cd718ee08_4 . _:Sig_331bf29dec4908c944d7277cd718ee08_4 . _:Sig_331bf29dec4908c944d7277cd718ee08_4 . _:Sig_331bf29dec4908c944d7277cd718ee08_4 "Erik Poll" . _:Sig_331bf29dec4908c944d7277cd718ee08_4 . _:Sig_331bf29dec4908c944d7277cd718ee08_4 "4"^^ . _:Sig_331bf29dec4908c944d7277cd718ee08_4 . . . . . "342-363" . "FMCO" . "FMCO" . "2005"^^ . "2006"^^ . . "provenance information for RDF data of dblp record 'conf/fmco/ChalinKLP05'" . . . . "2017-05-17T14:24:48+0200" .