A Model Inference System for Generic Specification with Application to Code Sharing (1995)

Cached

Download Links

by Didier Bert , Catherine Oriat
Venue:In Proc. of TAPSOFT-95, Col. on Formal Approaches in Software Engineering, LNCS 915
Citations:4 - 3 self