%0 Conference Paper %1 conf/sas/ErringtonHJ93 %A Errington, Lindsay %A Hankin, Chris %A Jensen, Thomas P. %B WSA %D 1993 %E Cousot, Patrick %E Falaschi, Moreno %E Filé, Gilberto %E Rauzy, Antoine %I Springer %K dblp %P 242-253 %T A Congruence for Gamma Programs. %U http://dblp.uni-trier.de/db/conf/sas/wsa93.html#ErringtonHJ93 %V 724 %@ 3-540-57264-3

@inproceedings{conf/sas/ErringtonHJ93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Errington, Lindsay and Hankin, Chris and Jensen, Thomas P.}, biburl = {https://www.bibsonomy.org/bibtex/290c0c27adb32c9350985c3d0a954c9d5/dblp}, booktitle = {WSA}, crossref = {conf/sas/1993}, editor = {Cousot, Patrick and Falaschi, Moreno and Filé, Gilberto and Rauzy, Antoine}, ee = {https://doi.org/10.1007/3-540-57264-3_45}, interhash = {ebcf97f39a2a4774b91d3ed000b18a34}, intrahash = {90c0c27adb32c9350985c3d0a954c9d5}, isbn = {3-540-57264-3}, keywords = {dblp}, pages = {242-253}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:46.000+0200}, title = {A Congruence for Gamma Programs.}, url = {http://dblp.uni-trier.de/db/conf/sas/wsa93.html#ErringtonHJ93}, volume = 724, year = 1993 }