Login / Signup

Programming Legal Contracts - A Beginners Guide to Stipula.

Silvia CrafaCosimo Laneve
Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases