Picture for Thomas van Binsbergen

Thomas van Binsbergen

DPCL: a Language Template for Normative Specifications

Add code
Jan 12, 2022
Viaarxiv icon