ePrints

Industrial Integration of Graphical and Formal Specifications

Lookup NU author(s): Dr James Armstrong

Downloads

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

Publication metadata

Author(s): Armstrong JM

Publication type: Article

Publication status: Published

Journal: Journal of Systems and Software (Special Issue on Formal Methods Technology Transfer)

Year: 1998

Volume: 40

Issue: 3

Pages: 211-225

Print publication date: 01/01/1998

ISSN (print): 0164-1212

Publisher: Elsevier Science Inc.

URL: http://dx.doi.org/10.1016/S0164-1212(97)00168-4

DOI: 10.1016/S0164-1212(97)00168-4

Altmetrics

Share