%0 Conference Paper %1 conf/mpc/GardinerMM92 %A Gardiner, Paul H. B. %A Martin, Clare E. %A de Moor, Oege %B MPC %D 1992 %E Bird, Richard S. %E Morgan, Carroll %E Woodcock, Jim %I Springer %K dblp %P 100-121 %T An Algebraic Construction of Predicate Transformers. %U http://dblp.uni-trier.de/db/conf/mpc/mpc92.html#GardinerMM92 %V 669 %@ 3-540-56625-2

@inproceedings{conf/mpc/GardinerMM92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Gardiner, Paul H. B. and Martin, Clare E. and de Moor, Oege}, biburl = {https://www.bibsonomy.org/bibtex/28a052dd6b55409689e175d7e21005876/dblp}, booktitle = {MPC}, crossref = {conf/mpc/1992}, editor = {Bird, Richard S. and Morgan, Carroll and Woodcock, Jim}, ee = {https://doi.org/10.1007/3-540-56625-2_10}, interhash = {4112eb9fa492aa69df87b7ec47b50ada}, intrahash = {8a052dd6b55409689e175d7e21005876}, isbn = {3-540-56625-2}, keywords = {dblp}, pages = {100-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:14:23.000+0200}, title = {An Algebraic Construction of Predicate Transformers.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc92.html#GardinerMM92}, volume = 669, year = 1992 }