Observational Specifications and the Indistinguishability Assumption (1995)

Cached

Download Links

by Gilles Bernot , Michel Bidoit , Teodor Knapik
Venue:Theoretical Computer Science
Citations:17 - 0 self