Computation and Specification Models: A Comparative Study (2002)

by E Börger
Venue:University of Aarhus, Department of Computer Science