%0 Conference Paper %1 conf/icse/HaRCRD04 %A Ha, Vu %A Rangarajan, Murali %A Cofer, Darren D. %A Rueß, Harald %A Dutertre, Bruno %B ICSE %D 2004 %E Finkelstein, Anthony %E Estublier, Jacky %E Rosenblum, David S. %I IEEE Computer Society %K dblp %P 304-313 %T Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. %U http://dblp.uni-trier.de/db/conf/icse/icse2004.html#HaRCRD04 %@ 0-7695-2163-0

@inproceedings{conf/icse/HaRCRD04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ha, Vu and Rangarajan, Murali and Cofer, Darren D. and Rueß, Harald and Dutertre, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2862daee19ce370020233c8b58999e49d/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2004}, editor = {Finkelstein, Anthony and Estublier, Jacky and Rosenblum, David S.}, ee = {http://dl.acm.org/citation.cfm?id=999435}, interhash = {497925fab9fefa0051811271cd0400c1}, intrahash = {862daee19ce370020233c8b58999e49d}, isbn = {0-7695-2163-0}, keywords = {dblp}, pages = {304-313}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:36:04.000+0200}, title = {Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2004.html#HaRCRD04}, year = 2004 }