Books and Book Editorships:

N. Bjorner, L. Kovacs:
"Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
in series "Journal of Symbolic Computation", series editor: H. Hong et al.; Springer, 2012, ISSN: 0747-7171.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.