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/scp/BroyMPW86.nt
. . . . . "Manfred Broy et al.: Algebraic Implementations Preserve Program Correctness. (1986)" . . _:ID_df2e158cee31ec17711f03389c9a5698 . _:ID_df2e158cee31ec17711f03389c9a5698 . _:ID_df2e158cee31ec17711f03389c9a5698 . _:ID_df2e158cee31ec17711f03389c9a5698 . _:ID_df2e158cee31ec17711f03389c9a5698 "journals/scp/BroyMPW86" . _:ID_c69e2197ffc1fb144471065647fc23c8 . _:ID_c69e2197ffc1fb144471065647fc23c8 . _:ID_c69e2197ffc1fb144471065647fc23c8 . _:ID_c69e2197ffc1fb144471065647fc23c8 . _:ID_c69e2197ffc1fb144471065647fc23c8 "10.1016/0167-6423(86)90004-3" . "Algebraic Implementations Preserve Program Correctness." . . . . . . . . . . "4"^^ . _:Sig_97661d5bbd0fad5b29570b076b7817dc_1 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_1 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_1 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_1 "Manfred Broy" . _:Sig_97661d5bbd0fad5b29570b076b7817dc_1 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_1 "1"^^ . _:Sig_97661d5bbd0fad5b29570b076b7817dc_1 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_2 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_2 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_2 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_2 "Bernhard M\u00F6ller" . _:Sig_97661d5bbd0fad5b29570b076b7817dc_2 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_2 "2"^^ . _:Sig_97661d5bbd0fad5b29570b076b7817dc_2 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_3 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_3 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_3 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_3 "Peter Pepper" . _:Sig_97661d5bbd0fad5b29570b076b7817dc_3 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_3 "3"^^ . _:Sig_97661d5bbd0fad5b29570b076b7817dc_3 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_4 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_4 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_4 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_4 "Martin Wirsing" . _:Sig_97661d5bbd0fad5b29570b076b7817dc_4 . _:Sig_97661d5bbd0fad5b29570b076b7817dc_4 "4"^^ . _:Sig_97661d5bbd0fad5b29570b076b7817dc_4 . . . . . "35-53" . "Sci. Comput. Program." . "Sci. Comput. Program." . "7" . "1" . "1986"^^ . "provenance information for RDF data of dblp record 'journals/scp/BroyMPW86'" . . . . "2021-02-17T21:56:13+0100" .