Eintrag weiter verarbeiten
On contract satisfaction in a higher-order world
Gespeichert in:
Zeitschriftentitel: | ACM Transactions on Programming Languages and Systems |
---|---|
Personen und Körperschaften: | , |
In: | ACM Transactions on Programming Languages and Systems, 33, 2011, 5, S. 1-29 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |