Open access
Date
2012-02Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-006832463Publication status
publishedExternal links
Journal / series
The Journal of Logic and Algebraic ProgrammingVolume
Pages / Article No.
Publisher
ElsevierSubject
Contracts; Blame assignment; Contract specification language; Operational semantics; Run-time monitoringOrganisational unit
02150 - Dep. Informatik / Dep. of Computer Science03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics