Skip to main navigation Skip to search Skip to main content

Characterising Object-based Frameworks in First-order Predicate Logic

    Research output: Chapter in Book/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