aSoftware Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, Elsene, BelgiumComputational Contracts • September 16th, 2013
to true in the blame assignment component. The postcondition returns this variable and blame is assigned when the variable was not set to true.
Agreement Exchanged ValuesComputational Contracts • June 11th, 2022
