RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC2475,
    author = {L. Kovacs and T. Jebelean and A. Kovacs},
    title = {{Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals}},
    booktitle = {{Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148}},
    language = {english},
    pages = {----},
    publisher = {Technical University of Budapest, PAMM-Centre},
    address = {Balatonalmadi, Hungary},
    isbn_issn = {-},
    year = {2005},
    month = {26-29 May},
    editor = {F.Fazekas et al},
    refereed = {yes},
    length = {10}
    }