Sponsor(s)
National Science Foundation
Contributor(s)
Alberto Sangiovanni-Vincentelli
Remote Video
Submitted by Anonymous on September 3rd, 2021
Submitted by Anonymous on June 18th, 2021
Submitted by Anonymous on June 9th, 2021
Contracts have been proposed as a formal mechanism to support compositional design first for complex software (e.g., see [1] and references therein) and later for system design (e.g., see [2] and references therein).
Submitted by Alberto Sangiovanni Vincentelli on January 22nd, 2019
Submitted by Alberto Sangiovanni Vincentelli on December 17th, 2018