%0 Conference Paper %1 conf/RelMiCS/JifengH98 %A He, Jifeng %A Hoare, C. A. R. %B RelMiCS %D 1998 %E Orlowska, Ewa %E Szalas, Andrzej %K dblp %P 97-99 %T Unifying theories of programming. %U http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS1998.html#JifengH98

@inproceedings{conf/RelMiCS/JifengH98, added-at = {2022-04-05T00:00:00.000+0200}, author = {He, Jifeng and Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/22c6faefb0094a03843071b681301280b/dblp}, booktitle = {RelMiCS}, crossref = {conf/RelMiCS/1998}, editor = {Orlowska, Ewa and Szalas, Andrzej}, interhash = {e4be0af098d6012a98ba7a1ed14829bc}, intrahash = {2c6faefb0094a03843071b681301280b}, keywords = {dblp}, pages = {97-99}, timestamp = {2024-04-10T15:09:05.000+0200}, title = {Unifying theories of programming.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/RelMiCS1998.html#JifengH98}, year = 1998 }