A framework for proving contract-equipped classes

Metadata only

Author

Date

2003

Type

Other Conference Item

ETH Bibliography

yes

Altmetrics

Publication status

published

Journal / series

Abstract state machines 2003

Volume

2589

Pages / Article No.

108 - 125

Publisher

Springer

Event

10th International Workshop on Abstract State Machines, Taormina, Italy, March 3-7, 2003

More

ETH Bibliography

yes

Altmetrics

Research Collection