Thomas Käufl. The Program Verifier Tatzelwurm. In Patrice Enjalbert, Alain Finkel, Klaus W. Wagner, editors, STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings. Volume 665 of Lecture Notes in Computer Science, pages 708-709, Springer, 1993.
@inproceedings{Kaufl93, title = {The Program Verifier Tatzelwurm}, author = {Thomas Käufl}, year = {1993}, tags = {program verification}, researchr = {https://researchr.org/publication/Kaufl93}, cites = {0}, citedby = {0}, pages = {708-709}, booktitle = {STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings}, editor = {Patrice Enjalbert and Alain Finkel and Klaus W. Wagner}, volume = {665}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56503-5}, }