The Dafny Integrated Development Environment

Metadata only

Author

Date

2014

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Proceedings of the 1st Workshop on Formal Integrated Development Environment

Journal / series

Electronic Proceedings in Theoretical Computer Science

Volume

149

Pages / Article No.

3 - 15

Publisher

Open Publishing Association

Event

1st Workshop on Formal Integrated Development Environment (F-IDE 2014), Grenoble, France, April 6, 2014

Organisational unit

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

More

ETH Bibliography

yes

Altmetrics

Research Collection