%0 Conference Paper %1 conf/nato/Back92 %A Back, Ralph-Johan %B NATO ASI PDC %D 1992 %E Broy, Manfred %I Springer %K dblp %P 53-71 %T Refinement Calculus, Lattices and Higher Order Logic. %U http://dblp.uni-trier.de/db/conf/nato/pdc1992.html#Back92 %V 118 %@ 978-3-662-02880-3

@inproceedings{conf/nato/Back92, added-at = {2017-05-14T00:00:00.000+0200}, author = {Back, Ralph-Johan}, biburl = {https://www.bibsonomy.org/bibtex/2144efd0424ad3818ce702e95345e1e6a/dblp}, booktitle = {NATO ASI PDC}, crossref = {conf/nato/1992pdc}, editor = {Broy, Manfred}, ee = {https://doi.org/10.1007/978-3-662-02880-3_2}, interhash = {1a533876d27b49ca1913a0da9cc4ff97}, intrahash = {144efd0424ad3818ce702e95345e1e6a}, isbn = {978-3-662-02880-3}, keywords = {dblp}, pages = {53-71}, publisher = {Springer}, series = {NATO ASI Series}, timestamp = {2024-04-09T19:34:06.000+0200}, title = {Refinement Calculus, Lattices and Higher Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/nato/pdc1992.html#Back92}, volume = 118, year = 1992 }