Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt, Antonio Ravara, J.M.E.M. van der Werf, Matthias Weidlich

    Research output: Book/ReportBook editingAcademicpeer-review

    Fingerprint

    Dive into the research topics of 'Web Services, Formal Methods, and Behavioral Types'. Together they form a unique fingerprint.

    Keyphrases