Characterising Object-based Frameworks in First-order Predicate Logic

S.-M. Ho, K.-K. Lau

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Original languageEnglish
    Title of host publicationMathematical Frameworks for Component Software
    PublisherWorld Scientific Publishing Co. Pte. Ltd
    ISBN (Print)981-270-017-X
    Publication statusPublished - 2006

    Cite this