Giuseppe Primiero, Franco Raimondi. Software Theory Change for Resilient Near-Complete Specifications. In Elhadi M. Shakshuki, editor, Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), London, UK, June 2-5, 2015. Volume 52 of Procedia Computer Science, pages 988-995, Elsevier, 2015. [doi]
Abstract is missing.