Forward simulation for data refinement of classes (2002)

Cached

Download Links

by Ana Cavalcanti , David A. Naumann
Venue:In Formal Methods Europe. Lecture Notes in Computer Science
Citations:18 - 17 self