@inproceedings{conf/mfcs/Orlowska88,
  added-at = {2009-09-21T00:00:00.000+0200},
  author = {Orlowska, Ewa},
  biburl = {http://www.bibsonomy.org/bibtex/2a8927f58d7a89fdf0813db76b12ad890/dblp},
  booktitle = {MFCS},
  crossref = {conf/mfcs/1988},
  date = {2009-09-21},
  description = {dblp},
  editor = {Chytil, Michal and Janiga, Ladislav and Koubek, Václav},
  ee = {http://dx.doi.org/10.1007/BFb0017169},
  interhash = {1397c28f2f68402d612446a950f70a0e},
  intrahash = {a8927f58d7a89fdf0813db76b12ad890},
  isbn = {3-540-50110-X},
  keywords = {dblp},
  pages = {463-471},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-09-21T00:00:00.000+0200},
  title = {Proof System for Weakest Prespecification and its Applications.},
  url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs88.html#Orlowska88},
  volume = 324,
  year = 1988
}