Abstraction for safety, induction for liveness

Calder, M. (2004) Abstraction for safety, induction for liveness. Algebraic Methodology and Software Technology, 3116, p. 20.

Full text not currently available from Enlighten.

Item Type:Articles
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy
Authors: Calder, M.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Algebraic Methodology and Software Technology

University Staff: Request a correction | Enlighten Editors: Update this record