Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre. Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 304-313, IEEE Computer Society, 2004. [doi]
Abstract is missing.