A logical framework for software proof reuse (1995)
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 |
