Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska. Compositional assume-guarantee reasoning for input/output component theories. Science of Computer Programming, 91:115-137, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.