A Formal Language for Analyzing Contracts

Nick Szabo

Date
2002
Formats
HTML
External link