RISC JKU
  • @inproceedings{RISC2243,
    author = {T. Jebelean and L. Kovacs and N. Popov},
    title = {{Experimental Program Verification in the Theorema System}},
    booktitle = {{Proceedings ISOLA 2004}},
    language = {english},
    pages = {92--99},
    address = {Paphos, Cyprus},
    year = {2004},
    month = {November},
    editor = {T. Margaria and B. Steffen},
    refereed = {yes},
    institution = {University of Cyprus},
    length = {8},
    conferencename = {International Symposium on Leveraging Applications of Formal Methods ISOLA 2004}
    }