117
Voted
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...