Dynamic Frames and Automated Verification

Metadata only

Author

Date

2011

Type

Other Conference Item

ETH Bibliography

yes

Altmetrics

Publication status

published

Publisher

COST Action ICO701

Event

2nd COST Action ICO701 Training School, Limerick, Ireland, June 19-21, 2011

Organisational unit

03653 - Müller, Peter / Müller, Peter

Notes

Tutorial for the 2nd COST Action ICO701 Training School.

More

ETH Bibliography

yes

Altmetrics

Research Collection