Inproceedings,

Systematic simplicity-accuracy tradeoffs in parameterised contract models.

, and .
QoSA/ISARCS, page 95-104. ACM, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews