Models and logic of MOS circuits’, in: Logic of Programming and Calculi of Discrete Design: International Summer School Directed by (1987)

by G Winskel
Venue:edited by M. Broy, NATO ASI Series, Series F, Computer and Systems Sciences