ePrints

Formal Methods: For When Your Software Must Work

Lookup NU author(s): Dr Stephen Paynter

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Paynter SE

Publication type: Article

Publication status: Published

Journal: AXIS: The UCISA Journal of Academic Computing and Information Systems

Year: 1995

Volume: 2

Issue: 3

Pages: 9-15

ISSN (print): 1352-8971

Publisher: Whurr Publishers

Share