Semantics, calculi, and analysis for object-oriented specifications

Metadata only

Author

Date

2009-07

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Acta informatica

Volume

46(4)

Pages / Article No.

255 - 284

Publisher

Springer

Organisational unit

03634 - Basin, David / Basin, David

Notes

Received 6 January 2004, Accepted 16 February 2009, Published online 25 March 2009.

More

ETH Bibliography

yes

Altmetrics

Research Collection