Formal Method in System: Foreword

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	75-76
Number of pages	2
Journal	Formal Methods in System Design
Volume	26
Issue number	2 SPEC. ISS.
DOIs	https://doi.org/10.1007/s10703-005-1488-y
State	Published - Mar 2005

Access to Document

@article{c8a93044dcd740a1972444d5f1d87a3a,

title = "Formal Method in System: Foreword",

author = "Stoller, \{Scott D.\} and Willem Visser",

year = "2005",

month = mar,

doi = "10.1007/s10703-005-1488-y",

language = "English",

volume = "26",

pages = "75--76",

journal = "Formal Methods in System Design",

issn = "0925-9856",

number = "2 SPEC. ISS.",

}

TY - JOUR

T1 - Formal Method in System

T2 - Foreword

AU - Stoller, Scott D.

AU - Visser, Willem

PY - 2005/3

Y1 - 2005/3

UR - https://www.scopus.com/pages/publications/24144479814

U2 - 10.1007/s10703-005-1488-y

DO - 10.1007/s10703-005-1488-y

M3 - Editorial

AN - SCOPUS:24144479814

SN - 0925-9856

VL - 26

SP - 75

EP - 76

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 2 SPEC. ISS.

ER -