[Back]


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)
http://dx.doi.org/10.1016/j.jsc.2011.12.047

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