Specifying compositional units for correct program development in computational logic

Kung Kiu Lau, Mario Ornaghi

    Research output: Chapter in Book/Conference proceeding › Chapter

    Fingerprint

    Dive into the research topics of 'Specifying compositional units for correct program development in computational logic'. Together they form a unique fingerprint.

    Computer Science