Proc. Workshop on Invariant Generation, WING 2007

Research output: Working paper and reports › Preprint

Abstract

Proceedings of the Workshop on Invariant Generation, WING 2007, held at RISC, Hagenberg, Astria, on 25-26 June 2007.

Original language	English
Place of Publication	University of Linz, Altenbergerstraße 69, 4040 Linz, Austria
Publisher	RISC
Number of pages	123
Publication status	Published - 2007

Name	RISC Report Series
No.	07-07

@techreport{a7c66b8152b649a482f785fbe3635214,

title = "Proc. Workshop on Invariant Generation, WING 2007",

abstract = "Proceedings of the Workshop on Invariant Generation, WING 2007, held at RISC, Hagenberg, Astria, on 25-26 June 2007.",

author = "Tudor Jebelean and Martin Giese",

year = "2007",

language = "English",

series = "RISC Report Series",

publisher = "RISC",

number = "07-07",

type = "WorkingPaper",

institution = "RISC",

}

TY - UNPB

T1 - Proc. Workshop on Invariant Generation, WING 2007

AU - Jebelean, Tudor

AU - Giese, Martin

PY - 2007

Y1 - 2007

N2 - Proceedings of the Workshop on Invariant Generation, WING 2007, held at RISC, Hagenberg, Astria, on 25-26 June 2007.

AB - Proceedings of the Workshop on Invariant Generation, WING 2007, held at RISC, Hagenberg, Astria, on 25-26 June 2007.

M3 - Preprint

T3 - RISC Report Series

BT - Proc. Workshop on Invariant Generation, WING 2007

PB - RISC

CY - University of Linz, Altenbergerstraße 69, 4040 Linz, Austria

ER -