A logical framework for software proof reuse (1995)

View PDF

Download Links

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