The Taub Faculty of Computer Science Events and Talks

Generating Programs from Specifications (with some observations on the modularity of object oriented systems)