%0 Conference Paper %1 conf/fm/SpiveyS90 %A Spivey, J. Michael %A Sufrin, Bernard %B VDM Europe %D 1990 %E Bjørner, Dines %E Hoare, C. A. R. %E Langmaack, Hans %I Springer %K dblp %P 426-451 %T Type Inference in Z. %U http://dblp.uni-trier.de/db/conf/fm/vdme1990.html#SpiveyS90 %V 428 %@ 3-540-52513-0

@inproceedings{conf/fm/SpiveyS90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Spivey, J. Michael and Sufrin, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/2365b9707782c336f0304a5e4b419d98a/dblp}, booktitle = {VDM Europe}, crossref = {conf/fm/1990}, editor = {Bjørner, Dines and Hoare, C. A. R. and Langmaack, Hans}, ee = {https://doi.org/10.1007/3-540-52513-0_22}, interhash = {bfbf4891d83564834caba03c680104cc}, intrahash = {365b9707782c336f0304a5e4b419d98a}, isbn = {3-540-52513-0}, keywords = {dblp}, pages = {426-451}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:22.000+0200}, title = {Type Inference in Z.}, url = {http://dblp.uni-trier.de/db/conf/fm/vdme1990.html#SpiveyS90}, volume = 428, year = 1990 }