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)