Model checking with abstract types (0)

by K Winter
Venue:Electronic Notes in Theoretical Computer Science