Publications in Scientific Journals:

N. Bjorner, L. Kovacs:
"Foreword to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
Journal of Symbolic Computation, 12 (2012), 47; 1413 - 1415.

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

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