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/scp/CaltaisM17.nt
. . . . "Georgiana Caltais and Bertrand Meyer: On the verification of SCOOP programs. (2017)" . . _:ID_60d53a709d93798f38cb6618f3c6af4e . _:ID_60d53a709d93798f38cb6618f3c6af4e . _:ID_60d53a709d93798f38cb6618f3c6af4e . _:ID_60d53a709d93798f38cb6618f3c6af4e . _:ID_60d53a709d93798f38cb6618f3c6af4e "journals/scp/CaltaisM17" . _:ID_617342b9ff0429d282ac23db69b4c85f . _:ID_617342b9ff0429d282ac23db69b4c85f . _:ID_617342b9ff0429d282ac23db69b4c85f . _:ID_617342b9ff0429d282ac23db69b4c85f . _:ID_617342b9ff0429d282ac23db69b4c85f "10.1016/J.SCICO.2016.08.005" . "On the verification of SCOOP programs." . . . . . . "2"^^ . _:Sig_be6df533476a094b966420db9d9d3f0a_1 . _:Sig_be6df533476a094b966420db9d9d3f0a_1 . _:Sig_be6df533476a094b966420db9d9d3f0a_1 . _:Sig_be6df533476a094b966420db9d9d3f0a_1 "Georgiana Caltais" . _:Sig_be6df533476a094b966420db9d9d3f0a_1 . _:Sig_be6df533476a094b966420db9d9d3f0a_1 "1"^^ . _:Sig_be6df533476a094b966420db9d9d3f0a_1 . _:Sig_be6df533476a094b966420db9d9d3f0a_2 . _:Sig_be6df533476a094b966420db9d9d3f0a_2 . _:Sig_be6df533476a094b966420db9d9d3f0a_2 . _:Sig_be6df533476a094b966420db9d9d3f0a_2 "Bertrand Meyer 0001" . _:Sig_be6df533476a094b966420db9d9d3f0a_2 . _:Sig_be6df533476a094b966420db9d9d3f0a_2 "2"^^ . _:Sig_be6df533476a094b966420db9d9d3f0a_2 . . . . . "194-215" . "Sci. Comput. Program." . "Sci. Comput. Program." . "133" . "2017"^^ . "provenance information for RDF data of dblp record 'journals/scp/CaltaisM17'" . . . . "2017-10-30T11:35:03+0100" .