Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.
Wayne D. HeymPaolo A. G. SivilottiPaolo BucciMurali SitaramanKevin PlisJoseph E. HollingsworthJoan KroneNigamanth SridharPublished in: CSEE&T (2017)