3 citations · 6 across the 12 of their papers we have counts for
1 paper · 1 filter
Jose Luis Castiglioni, Rodolfo Ertola-Biraben
In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relie…