%0 Conference Paper %1 conf/zum/JohnsonS89 %A Johnson, Michael %A Sanders, Paul %B Z User Workshop %D 1989 %E Nicholls, John E. %I Springer %K dblp %P 86-112 %T From Z Specifications To Functional Implementations. %U http://dblp.uni-trier.de/db/conf/zum/zum1989.html#JohnsonS89 %@ 978-3-540-19627-3

@inproceedings{conf/zum/JohnsonS89, added-at = {2019-06-24T00:00:00.000+0200}, author = {Johnson, Michael and Sanders, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2001be7ae499c4c3dd8f0dd53c5f8969e/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1989}, editor = {Nicholls, John E.}, ee = {https://doi.org/10.1007/978-1-4471-3877-8_6}, interhash = {97c42f86945c22eb83550a833237c3aa}, intrahash = {001be7ae499c4c3dd8f0dd53c5f8969e}, isbn = {978-3-540-19627-3}, keywords = {dblp}, pages = {86-112}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-25T11:39:39.000+0200}, title = {From Z Specifications To Functional Implementations.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1989.html#JohnsonS89}, year = 1989 }