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/2015.nt
. . . . . "Klaus Havelund et al.: NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (2015)" . . _:ID_f8114eba619636c69cda6170d4165a05 . _:ID_f8114eba619636c69cda6170d4165a05 . _:ID_f8114eba619636c69cda6170d4165a05 . _:ID_f8114eba619636c69cda6170d4165a05 . _:ID_f8114eba619636c69cda6170d4165a05 "conf/nfm/2015" . _:ID_cbfaf4181713de89f856f2850e984183 . _:ID_cbfaf4181713de89f856f2850e984183 . _:ID_cbfaf4181713de89f856f2850e984183 . _:ID_cbfaf4181713de89f856f2850e984183 . _:ID_cbfaf4181713de89f856f2850e984183 "10.1007/978-3-319-17524-9" . . _:ID_a45d7b10fa82770c49268dc76d029a4b . _:ID_a45d7b10fa82770c49268dc76d029a4b . _:ID_a45d7b10fa82770c49268dc76d029a4b . _:ID_a45d7b10fa82770c49268dc76d029a4b . _:ID_a45d7b10fa82770c49268dc76d029a4b "9783319175232" . "NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings" . . . . . . . . "3"^^ . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_1 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_1 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_1 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_1 "Klaus Havelund" . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_1 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_1 "1"^^ . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_1 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_2 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_2 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_2 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_2 "Gerard J. Holzmann" . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_2 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_2 "2"^^ . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_2 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_3 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_3 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_3 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_3 "Rajeev Joshi" . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_3 . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_3 "3"^^ . _:Sig_4d6db746ab825c82f236c9fd1e027fc1_3 . . . . . "Lecture Notes in Computer Science" . "Lecture Notes in Computer Science" . "9058" . "2015"^^ . "Springer" . "provenance information for RDF data of dblp record 'conf/nfm/2015'" . . . . "2019-05-14T10:00:53+0200" .