A proof technique for rely/guarantee properties

収録刊行物

• Proc. 5th Conf. on Found. of Soft. Tech. and Theoretical Computer Science, 1985

  Proc. 5th Conf. on Found. of Soft. Tech. and Theoretical Computer Science, 1985 369-391, 1985