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/icse/HaRCRD04.nt
. . . . "Vu Ha et al.: Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. (2004)" . . _:ID_ca35550051ce12b917df182e85859e3a . _:ID_ca35550051ce12b917df182e85859e3a . _:ID_ca35550051ce12b917df182e85859e3a . _:ID_ca35550051ce12b917df182e85859e3a . _:ID_ca35550051ce12b917df182e85859e3a "conf/icse/HaRCRD04" . _:ID_6c1941502fcf3eb664544511b2d2eea1 . _:ID_6c1941502fcf3eb664544511b2d2eea1 . _:ID_6c1941502fcf3eb664544511b2d2eea1 . _:ID_6c1941502fcf3eb664544511b2d2eea1 . _:ID_6c1941502fcf3eb664544511b2d2eea1 "10.1109/ICSE.2004.1317453" . "Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report." . . . . . . . . . . . . "5"^^ . _:Sig_e0a96cbda18797fd2e532febd53f237e_1 . _:Sig_e0a96cbda18797fd2e532febd53f237e_1 . _:Sig_e0a96cbda18797fd2e532febd53f237e_1 . _:Sig_e0a96cbda18797fd2e532febd53f237e_1 "Vu Ha" . _:Sig_e0a96cbda18797fd2e532febd53f237e_1 . _:Sig_e0a96cbda18797fd2e532febd53f237e_1 "1"^^ . _:Sig_e0a96cbda18797fd2e532febd53f237e_1 . _:Sig_e0a96cbda18797fd2e532febd53f237e_2 . _:Sig_e0a96cbda18797fd2e532febd53f237e_2 . _:Sig_e0a96cbda18797fd2e532febd53f237e_2 . _:Sig_e0a96cbda18797fd2e532febd53f237e_2 "Murali Rangarajan" . _:Sig_e0a96cbda18797fd2e532febd53f237e_2 . _:Sig_e0a96cbda18797fd2e532febd53f237e_2 "2"^^ . _:Sig_e0a96cbda18797fd2e532febd53f237e_2 . _:Sig_e0a96cbda18797fd2e532febd53f237e_3 . _:Sig_e0a96cbda18797fd2e532febd53f237e_3 . _:Sig_e0a96cbda18797fd2e532febd53f237e_3 . _:Sig_e0a96cbda18797fd2e532febd53f237e_3 "Darren D. Cofer" . _:Sig_e0a96cbda18797fd2e532febd53f237e_3 . _:Sig_e0a96cbda18797fd2e532febd53f237e_3 "3"^^ . _:Sig_e0a96cbda18797fd2e532febd53f237e_3 . _:Sig_e0a96cbda18797fd2e532febd53f237e_4 . _:Sig_e0a96cbda18797fd2e532febd53f237e_4 . _:Sig_e0a96cbda18797fd2e532febd53f237e_4 . _:Sig_e0a96cbda18797fd2e532febd53f237e_4 "Harald Rue\u00DF" . _:Sig_e0a96cbda18797fd2e532febd53f237e_4 . _:Sig_e0a96cbda18797fd2e532febd53f237e_4 "4"^^ . _:Sig_e0a96cbda18797fd2e532febd53f237e_4 . _:Sig_e0a96cbda18797fd2e532febd53f237e_5 . _:Sig_e0a96cbda18797fd2e532febd53f237e_5 . _:Sig_e0a96cbda18797fd2e532febd53f237e_5 . _:Sig_e0a96cbda18797fd2e532febd53f237e_5 "Bruno Dutertre" . _:Sig_e0a96cbda18797fd2e532febd53f237e_5 . _:Sig_e0a96cbda18797fd2e532febd53f237e_5 "5"^^ . _:Sig_e0a96cbda18797fd2e532febd53f237e_5 . . . . . . . "304-313" . "ICSE" . "ICSE" . "2004"^^ . "2004"^^ . . "provenance information for RDF data of dblp record 'conf/icse/HaRCRD04'" . . . . "2023-03-23T23:58:12+0100" .