Preface - Invariant generation

Gudmund Grov, Thomas Wies

Research output: Contribution to journalEditorial

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

ASJC Scopus subject areas

  • Software

Cite this