Alysson Milanez, Bianca Lima, José Ferreira, Tiago Massoni. Nonconformance between programs and contracts: a study on C#/code contracts open source systems. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1219-1224, ACM, 2017. [doi]
Abstract is missing.