Deontics and Time in Contracts: An Executable Semantics for the L4 DSL.

Seng Joe Watt, Oliver R. Goodenough, Meng Weng Wong

Browse the full JURIX paper archive.