%0 Conference Paper %1 conf/mfcs/Roever76 %A de Roever, Willem P. %B MFCS %D 1976 %E Mazurkiewicz, Antoni W. %I Springer %K dblp %P 472-481 %T Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs76.html#Roever76 %V 45 %@ 0-387-07854-1

@inproceedings{conf/mfcs/Roever76, added-at = {2017-05-19T00:00:00.000+0200}, author = {de Roever, Willem P.}, biburl = {https://www.bibsonomy.org/bibtex/27989805881fd28ff3db1bab02af82aa2/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1976}, editor = {Mazurkiewicz, Antoni W.}, ee = {https://doi.org/10.1007/3-540-07854-1_217}, interhash = {1a4ede82ff7e5f4f010c9793496a1cd0}, intrahash = {7989805881fd28ff3db1bab02af82aa2}, isbn = {0-387-07854-1}, keywords = {dblp}, pages = {472-481}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:11:24.000+0200}, title = {Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs76.html#Roever76}, volume = 45, year = 1976 }