An Axiomatic Approach to Adequacy (1996)

by T Bräuner
Venue:University of Aarhus