%0 Journal Article %1 journals/jucs/Banach07 %A Banach, Richard %D 2007 %J J. Univers. Comput. Sci. %K dblp %N 5 %P 593-601 %T Formal Methods Guest Editorial. %U http://dblp.uni-trier.de/db/journals/jucs/jucs13.html#Banach07 %V 13

@article{journals/jucs/Banach07, added-at = {2023-09-07T00:00:00.000+0200}, author = {Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2c0fb9952e86a1fe8e9bbcae6cb155ee7/dblp}, ee = {https://doi.org/10.3217/jucs-013-05-0593}, interhash = {b7c273012ea4218689af33a889534dc5}, intrahash = {c0fb9952e86a1fe8e9bbcae6cb155ee7}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 5, pages = {593-601}, timestamp = {2024-04-08T15:58:21.000+0200}, title = {Formal Methods Guest Editorial.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs13.html#Banach07}, volume = 13, year = 2007 }