A Modular Theory of Object Orientation in Higher-Order UTP

Frank Zeyda, Thiago Santos, Ana Cavalcanti, Augusto Sampaio

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint

    Dive into the research topics of 'A Modular Theory of Object Orientation in Higher-Order UTP'. Together they form a unique fingerprint.

    Engineering & Materials Science