Supporting Proof in a Reactive Development Environment - Research Collection

Metadata only

Author

Date

2007

Type

Conference Paper

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1109/SEFM.2007.40

Editor

Margaria, Tiziana

Book title

Fifth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2007

Pages / Article No.

103 - 112

Publisher

IEEE

Event

5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK, September 10-14, 2007

Organisational unit

03634 - Basin, David / Basin, David

More

Show all metadata

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics