A framework for proving contract-equipped classes - Research Collection

Metadata only

Author

Meyer, Bertrand

Date

2003

Type

Other Conference Item

Citations

Cited 2 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

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

Notes

.

More

Show all metadata

Citations

Cited 2 times in Web of Science

ETH Bibliography

yes

Altmetrics