Foreword to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops (bibtex)
by Nikolaj Bjørner, Laura Kovács
Reference:
Foreword to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about LoopsNikolaj Bjørner, Laura KovácsJournal of Symbolic Computation, 2012.
Bibtex Entry:
@article{JSC12Kovacs,
title = {Foreword to the Special Issue on Invariant Generation and Advanced
Techniques for Reasoning about Loops},
journal = {Journal of Symbolic Computation},
author = {Nikolaj Bj{\o}rner and Laura Kov\'acs},
year = {2012},
}
Powered by bibtexbrowser