Preface - Invariant generation

Gudmund Grov, Thomas Wies

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)87-88
Number of pages2
JournalScience of Computer Programming
Volume93
Issue numberPART B
DOIs
StatePublished - 2014

ASJC Scopus subject areas

  • Software

Cite this

Preface - Invariant generation. / Grov, Gudmund; Wies, Thomas.

In: Science of Computer Programming, Vol. 93, No. PART B, 2014, p. 87-88.

Research output: Contribution to journalArticle

Grov, Gudmund ; Wies, Thomas. / Preface - Invariant generation. In: Science of Computer Programming. 2014 ; Vol. 93, No. PART B. pp. 87-88.
@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 - Article

VL - 93

SP - 87

EP - 88

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - PART B

ER -