Observational interpretation for CASL specifications (2004)

by Michel Bidoit , Donald Sannella , Andrzej Tarlecki
Venue:IN PREPARATION
Citations:3 - 2 self