%0 Conference Paper %1 conf/mpc/Henson89 %A Henson, Martin C. %B MPC %D 1989 %E van de Snepscheut, Jan L. A. %I Springer %K dblp %P 256-272 %T Realizability Models for Program Construction. %U http://dblp.uni-trier.de/db/conf/mpc/mpc89.html#Henson89 %V 375 %@ 0-387-51305-1

@inproceedings{conf/mpc/Henson89, added-at = {2017-05-19T00:00:00.000+0200}, author = {Henson, Martin C.}, biburl = {https://www.bibsonomy.org/bibtex/2559ae4104684edf1cd2cde762ca54da1/dblp}, booktitle = {MPC}, crossref = {conf/mpc/1989}, editor = {van de Snepscheut, Jan L. A.}, ee = {https://doi.org/10.1007/3-540-51305-1_14}, interhash = {2b9366333f27ef34b028f7c799af22fb}, intrahash = {559ae4104684edf1cd2cde762ca54da1}, isbn = {0-387-51305-1}, keywords = {dblp}, pages = {256-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T00:59:54.000+0200}, title = {Realizability Models for Program Construction.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc89.html#Henson89}, volume = 375, year = 1989 }