[Back]


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


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