Treffer: Incremental Certified Programming
Title:
Incremental Certified Programming
Authors:
Source:
Proceedings of the ACM on Programming Languages. 9(OOPSLA2):499-526
Availability:
Database:
ACM Full-Text Collection