Assume-guarantee contract algebras are bounded Sugihara monoids

From MaRDI portal
Publication:6522523