Principles of Contract Languages: Dagstuhl Seminar 22451

Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström

Research output: Contribution to journalConference articleAcademicpeer-review

81 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Principles of Contract Languages: Dagstuhl Seminar 22451'. Together they form a unique fingerprint.

Computer Science

Social Sciences

Medicine and Dentistry