Modularization and Priorities

Sarah Liebert. Modularization and Priorities. In Chris Hankin, Ian Mackie, Rajagopal Nagarajan, editors, Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. pages 167-179, Imperial College Press, 1994.

Abstract

Abstract is missing.