ePrints

The Benefits of Formal Specification are not Automatic

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: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Practical Application of Formal Methods Colloquium

Year of Conference: 1995

Pages: 1-3

Publisher: IEE

URL: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=477885

Series Title: IEE Colloquium Digest 1995/109

Share