@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}
}