Francesco Logozzo. Technology for inferring contracts from code. In Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. pages 13-14, ACM, 2013. [doi]
Abstract is missing.