%0 Conference Paper %1 conf/splst/HorvathKT03 %A Horváth, Zoltán %A Kozsik, Tamás %A Tejfel, Máté %B SPLST %D 2003 %E Kilpeläinen, Pekka %E Päivinen, Niina %I University of Kuopio, Department of Computer Science %K dblp %P 115-126 %T Proving Invariants of Functional Programs. %U http://dblp.uni-trier.de/db/conf/splst/splst2003.html#HorvathKT03 %@ 951-781-265-5

@inproceedings{conf/splst/HorvathKT03, added-at = {2004-09-16T00:00:00.000+0200}, author = {Horváth, Zoltán and Kozsik, Tamás and Tejfel, Máté}, biburl = {https://www.bibsonomy.org/bibtex/23fc696227c6352c40245ce2ebd395e8f/dblp}, booktitle = {SPLST}, crossref = {conf/splst/2003}, date = {2004-09-16}, description = {dblp}, editor = {Kilpeläinen, Pekka and Päivinen, Niina}, interhash = {56fddfb7e0482ebcd6ac941d7a0357eb}, intrahash = {3fc696227c6352c40245ce2ebd395e8f}, isbn = {951-781-265-5}, keywords = {dblp}, pages = {115-126}, publisher = {University of Kuopio, Department of Computer Science}, timestamp = {2004-09-16T00:00:00.000+0200}, title = {Proving Invariants of Functional Programs.}, url = {http://dblp.uni-trier.de/db/conf/splst/splst2003.html#HorvathKT03}, year = 2003 }