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.uni-trier.de/rec/journals/sttt/FaithfullBTT18.nt
. . . . . "Alexander John Faithfull et al.: Coqoon - An IDE for interactive proof development in Coq. (2018)" . . _:ID_cd9e5450bb701c5430224cab003bb555 . _:ID_cd9e5450bb701c5430224cab003bb555 . _:ID_cd9e5450bb701c5430224cab003bb555 . _:ID_cd9e5450bb701c5430224cab003bb555 . _:ID_cd9e5450bb701c5430224cab003bb555 "journals/sttt/FaithfullBTT18" . _:ID_c619a9477678dfd15cc77c5ce5ad1ec1 . _:ID_c619a9477678dfd15cc77c5ce5ad1ec1 . _:ID_c619a9477678dfd15cc77c5ce5ad1ec1 . _:ID_c619a9477678dfd15cc77c5ce5ad1ec1 . _:ID_c619a9477678dfd15cc77c5ce5ad1ec1 "10.1007/S10009-017-0457-2" . "Coqoon - An IDE for interactive proof development in Coq." . . . . . . . . . . "4"^^ . _:Sig_ba80732db003b7981d046b87f4cf5099_1 . _:Sig_ba80732db003b7981d046b87f4cf5099_1 . _:Sig_ba80732db003b7981d046b87f4cf5099_1 . _:Sig_ba80732db003b7981d046b87f4cf5099_1 "Alexander John Faithfull" . _:Sig_ba80732db003b7981d046b87f4cf5099_1 . _:Sig_ba80732db003b7981d046b87f4cf5099_1 "1"^^ . _:Sig_ba80732db003b7981d046b87f4cf5099_1 . _:Sig_ba80732db003b7981d046b87f4cf5099_2 . _:Sig_ba80732db003b7981d046b87f4cf5099_2 . _:Sig_ba80732db003b7981d046b87f4cf5099_2 . _:Sig_ba80732db003b7981d046b87f4cf5099_2 "Jesper Bengtson" . _:Sig_ba80732db003b7981d046b87f4cf5099_2 . _:Sig_ba80732db003b7981d046b87f4cf5099_2 "2"^^ . _:Sig_ba80732db003b7981d046b87f4cf5099_2 . _:Sig_ba80732db003b7981d046b87f4cf5099_3 . _:Sig_ba80732db003b7981d046b87f4cf5099_3 . _:Sig_ba80732db003b7981d046b87f4cf5099_3 . _:Sig_ba80732db003b7981d046b87f4cf5099_3 "Enrico Tassi" . _:Sig_ba80732db003b7981d046b87f4cf5099_3 . _:Sig_ba80732db003b7981d046b87f4cf5099_3 "3"^^ . _:Sig_ba80732db003b7981d046b87f4cf5099_3 . _:Sig_ba80732db003b7981d046b87f4cf5099_4 . _:Sig_ba80732db003b7981d046b87f4cf5099_4 . _:Sig_ba80732db003b7981d046b87f4cf5099_4 . _:Sig_ba80732db003b7981d046b87f4cf5099_4 "Carst Tankink" . _:Sig_ba80732db003b7981d046b87f4cf5099_4 . _:Sig_ba80732db003b7981d046b87f4cf5099_4 "4"^^ . _:Sig_ba80732db003b7981d046b87f4cf5099_4 . . . . . "125-137" . "Int. J. Softw. Tools Technol. Transf." . "Int. J. Softw. Tools Technol. Transf." . "20" . "2" . "2018"^^ . "provenance information for RDF data of dblp record 'journals/sttt/FaithfullBTT18'" . . . . "2020-04-02T08:37:19+0200" .