Formal Methods in System Design: Preface

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	1
Number of pages	1
Journal	Formal Methods in System Design
Volume	35
Issue number	1
DOIs	https://doi.org/10.1007/s10703-009-0072-2
State	Published - Aug 2009

All Science Journal Classification (ASJC) codes

@article{cc0e714cc06a486c8ec77d6f237080d8,

title = "Formal Methods in System Design: Preface",

author = "Aarti Gupta and Sharad Malik",

year = "2009",

month = aug,

doi = "10.1007/s10703-009-0072-2",

language = "English (US)",

volume = "35",

pages = "1",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Formal Methods in System Design

T2 - Preface

AU - Gupta, Aarti

AU - Malik, Sharad

PY - 2009/8

Y1 - 2009/8

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

UR - https://www.scopus.com/pages/publications/69049116097#tab=citedBy

U2 - 10.1007/s10703-009-0072-2

DO - 10.1007/s10703-009-0072-2

M3 - Editorial

AN - SCOPUS:69049116097

SN - 0925-9856

VL - 35

SP - 1

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -