%0 Conference Paper %1 conf/gi/Ammeraal76 %A Ammeraal, Leendert %B GI Jahrestagung %D 1976 %E Neuhold, Erich J. %I Springer %K dblp %P 109-120 %T How Program Statements Transform Predicates. %U http://dblp.uni-trier.de/db/conf/gi/gi76.html#Ammeraal76 %V 5 %@ 3-540-07912-2

@inproceedings{conf/gi/Ammeraal76, added-at = {2003-03-31T00:00:00.000+0200}, author = {Ammeraal, Leendert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20a47cbf52365631dda4bbc1de3b3a169/dblp}, booktitle = {GI Jahrestagung}, crossref = {conf/gi/1976}, editor = {Neuhold, Erich J.}, ee = {http://dx.doi.org/10.1007/978-3-642-95289-0_9}, interhash = {b4d4908e2634effefcf9b89397c7e912}, intrahash = {0a47cbf52365631dda4bbc1de3b3a169}, isbn = {3-540-07912-2}, keywords = {dblp}, pages = {109-120}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-17T10:36:15.000+0100}, title = {How Program Statements Transform Predicates.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi76.html#Ammeraal76}, volume = 5, year = 1976 }