A logical framework for software proof reuse (1995)

Cached

Download Links

by Joshua E. Caplan , Mehdi T. Harandi
Venue:Proceedings of the ACM SIGSOFT Symposium on Software Reusability
Citations:4 - 0 self

Document Versions

A logical framework for software proof reuse –Joshua E. Caplan, Mehdi T. Harandi — 1995 — Proceedings of the ACM SIGSOFT Symposium on Software Reusability