Special issue on the First International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected papers

Edited Book

Publication Date:

1998

abstract:

An abstract is not available

Iris type:

01.10 Curatela di numero monografico in rivista

Keywords:

Formal methods; Software/Program Verification

List of contributors:

Gnesi, Stefania; Latella, Diego

Authors of the University:

LATELLA DIEGO

Handle:

https://iris.cnr.it/handle/20.500.14243/426720

Overview

URL

https://link.springer.com/article/10.1023/A:1008669025349