A Roadmap for the Rodin Toolset

Metadata only

Author

Date

2008

Type

Other Conference Item

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Abstract state machines, B and Z : first international conference : proceedings / ABZ, London UK, September 22-25, 2008

Journal / series

Lecture Notes in Computer Science

Volume

5238

Pages / Article No.

347 - 347

Publisher

Springer

Event

1st International Conference of Abstract State Machines, B and Z (ABZ 2008), London, United Kingdom, September 16-18, 2008

Organisational unit

03634 - Basin, David / Basin, David

Notes

SpringerLink Date: Montag, 22. September 2008.

More

ETH Bibliography

yes

Altmetrics

Research Collection