Showing 1 - 2 results of 2 for search 'Krebbers, Robbert', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

    Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs by Krebbers, Robbert

    Published 2023
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

    Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:

Search Tools: