%0 Conference Paper %1 conf/csl/Hannay99 %A Hannay, Jo Erskine %B CSL %D 1999 %E Flum, Jörg %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 530-545 %T Specification Refinement with System F. %U http://dblp.uni-trier.de/db/conf/csl/csl99.html#Hannay99 %V 1683 %@ 3-540-66536-6

@inproceedings{conf/csl/Hannay99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Hannay, Jo Erskine}, biburl = {https://www.bibsonomy.org/bibtex/2ccc657d891080ffb380a39d64ba364f4/dblp}, booktitle = {CSL}, crossref = {conf/csl/1999}, editor = {Flum, Jörg and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-48168-0_37}, interhash = {9626d77dd84e7632253f668ce6024e90}, intrahash = {ccc657d891080ffb380a39d64ba364f4}, isbn = {3-540-66536-6}, keywords = {dblp}, pages = {530-545}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:34:19.000+0200}, title = {Specification Refinement with System F.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl99.html#Hannay99}, volume = 1683, year = 1999 }