A Modular Theory of Object Orientation in Higher-Order UTP.

Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio

Browse the full FM paper archive.