RISC RISC Research Institute for Symbolic Computation  
  • @article{RISC2969,
    author = {Gabor Guta},
    title = {{Towards error-free software}},
    language = {hungarian},
    abstract = {Formal Methods represents a field of computer science which promises techniques and methods based on mathematical principles to produce error-free software. In this short overview we will try to point out how Formal Methods could be used in a cost effective manner in enterprise environment and which areas are developed enough to be used on a large scale.},
    journal = {IT-Business (Hungary)},
    volume = {4},
    number = {38},
    pages = {26--27},
    publisher = {Vogel Burda Communications},
    isbn_issn = {ISSN 1589-3464},
    year = {2006},
    refereed = {no},
    length = {2}