%0 Conference Paper %1 conf/eci/Katz76 %A Katz, Shmuel %B ECI %D 1976 %E Samelson, Klaus %I Springer %K dblp %P 287-309 %T Program Optimization Using Invariants. %U http://dblp.uni-trier.de/db/conf/eci/eci76.html#Katz76 %V 44 %@ 0-387-07804-5

@inproceedings{conf/eci/Katz76, added-at = {2017-05-19T00:00:00.000+0200}, author = {Katz, Shmuel}, biburl = {https://www.bibsonomy.org/bibtex/204e88123761f192050fe6953734728aa/dblp}, booktitle = {ECI}, crossref = {conf/eci/1976}, editor = {Samelson, Klaus}, ee = {https://doi.org/10.1007/3-540-07804-5_35}, interhash = {798f6220252fddfc1229593c735caa1e}, intrahash = {04e88123761f192050fe6953734728aa}, isbn = {0-387-07804-5}, keywords = {dblp}, pages = {287-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:25:18.000+0200}, title = {Program Optimization Using Invariants.}, url = {http://dblp.uni-trier.de/db/conf/eci/eci76.html#Katz76}, volume = 44, year = 1976 }