Preface - Invariant Generation

Gudmund Grov^*, Thomas Wies

^*Corresponding author for this work

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

Original language	English
Pages (from-to)	87-88
Number of pages	2
Journal	Science of Computer Programming
Volume	92
DOIs	https://doi.org/10.1016/j.scico.2014.05.010
Publication status	Published - 1 Nov 2014

Access to Document

@article{154043a0b79c42f1907dbd0271847edc,

title = "Preface - Invariant Generation",

author = "Gudmund Grov and Thomas Wies",

year = "2014",

month = nov,

day = "1",

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

language = "English",

volume = "92",

pages = "87--88",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

}