On the use of specification styles in the design of distributed systems

C.A. Vissers, J. Diaz (Editor), Giuseppe Scollo, F. Orejas (Editor), Marten J. van Sinderen, Hendrik Brinksma

    Research output: Contribution to conferenceAbstract

    Fingerprint Dive into the research topics of 'On the use of specification styles in the design of distributed systems'. Together they form a unique fingerprint.