Freefinement

Metadata only

Author

Date

2012

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pages / Article No.

7 - 18

Publisher

Association for Computing Machinery

Event

POPL '12 The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, PA, USA, January 22 - 28, 2012

Subject

Formal Systems; Proof Theory; Refinement

More

ETH Bibliography

yes

Altmetrics

Research Collection