RISC JKU
  • @inproceedings{RISC461,
    author = {L. Kovacs and T. Jebelean},
    title = {{Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods}},
    booktitle = {{Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144}},
    language = {english},
    volume = { vol. CVI},
    number = {2172},
    pages = {125--134},
    publisher = {Technical University of Budapest, PAMM-Centre},
    address = {Balatonalmadi, Hungary},
    isbn_issn = {ISSN 0133-3526},
    year = {2004},
    month = {20-23 May},
    annote = {2004-05-23-A},
    editor = {F. Fazekas et al},
    refereed = {yes},
    length = {10}
    }