Using the generalised substitution language for event-B semantics

Download

Open access

Author

Date

2010

Type

Report

ETH Bibliography

yes

Altmetrics

Download

Rights / license

Permanent link

https://doi.org/10.3929/ethz-a-006852566

Publication status

published

Journal / series

Technical Report / ETH Zurich, Department of Computer Science

Volume

667

Publisher

ETH, Department of Computer Science

Organisational unit

02150 - Dep. Informatik / Dep. of Computer Science

Notes

Technical Reports D-INFK.

More

ETH Bibliography

yes

Altmetrics

Research Collection