%0 Conference Paper %1 conf/lics/WandW90 %A Wand, Mitchell %A Wang, Zheng-Yu %B LICS %D 1990 %I IEEE Computer Society %K dblp %P 321-332 %T Conditional Lambda-Theories and the Verification of Static Properties of Programs %U http://dblp.uni-trier.de/db/conf/lics/lics90.html#WandW90 %@ 0-8186-2073-0

@inproceedings{conf/lics/WandW90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wand, Mitchell and Wang, Zheng-Yu}, biburl = {https://www.bibsonomy.org/bibtex/2113144e1415097709ec0aeca91eca7ae/dblp}, booktitle = {LICS}, crossref = {conf/lics/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1990.113758}, interhash = {cf92511f2ad1d06c4184e0d772c89974}, intrahash = {113144e1415097709ec0aeca91eca7ae}, isbn = {0-8186-2073-0}, keywords = {dblp}, pages = {321-332}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:06.000+0200}, title = {Conditional Lambda-Theories and the Verification of Static Properties of Programs}, url = {http://dblp.uni-trier.de/db/conf/lics/lics90.html#WandW90}, year = 1990 }