Preface - Invariant generation

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

Original language	English (US)
Pages (from-to)	87-88
Number of pages	2
Journal	Science of Computer Programming
Volume	93
Issue number	PART B
DOIs	https://doi.org/10.1016/j.scico.2014.05.010
State	Published - 2014

ASJC Scopus subject areas

@article{a6f62ce75b2a4ba98e5d5bb8e2147a2d,

title = "Preface - Invariant generation",

author = "Gudmund Grov and Thomas Wies",

year = "2014",

doi = "10.1016/j.scico.2014.05.010",

language = "English (US)",

volume = "93",

pages = "87--88",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "PART B",

}

TY - JOUR

T1 - Preface - Invariant generation

AU - Grov, Gudmund

AU - Wies, Thomas

PY - 2014

Y1 - 2014

UR - http://www.scopus.com/inward/record.url?scp=84905914128&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84905914128&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2014.05.010

DO - 10.1016/j.scico.2014.05.010

M3 - Editorial

AN - SCOPUS:84905914128

SN - 0167-6423

VL - 93

SP - 87

EP - 88

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - PART B

ER -