Preface - Invariant Generation

Gudmund Grov, Thomas Wies

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)87-88
Number of pages2
JournalScience of Computer Programming
Volume92
DOIs
Publication statusPublished - 1 Nov 2014

Cite this