Guards, Preconditions, and Refinement in Z. Miarka, R., Boiten, E. A., & Derrick, J. In Bowen, J. P., Dunne, S., Galloway, A., & King, S., editors, ZB, volume 1878, of Lecture Notes in Computer Science, pages 286-303, 2000. Springer.
Guards, Preconditions, and Refinement in Z. [link]Link  Guards, Preconditions, and Refinement in Z. [link]Paper  bibtex   
@inproceedings{conf/zum/MiarkaBD00,
  added-at = {2020-06-15T00:00:00.000+0200},
  author = {Miarka, Ralph and Boiten, Eerke A. and Derrick, John},
  biburl = {https://www.bibsonomy.org/bibtex/22af44a8b8d00e7930c6348977fb37e49/dblp},
  booktitle = {ZB},
  crossref = {conf/zum/2000},
  editor = {Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve},
  ee = {https://doi.org/10.1007/3-540-44525-0_17},
  interhash = {865d090e3fafd8194afb1f59c1417c6a},
  intrahash = {2af44a8b8d00e7930c6348977fb37e49},
  isbn = {3-540-67944-8},
  keywords = {dblp},
  pages = {286-303},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-06-16T12:39:12.000+0200},
  title = {Guards, Preconditions, and Refinement in Z.},
  url = {http://dblp.uni-trier.de/db/conf/zum/zb2000.html#MiarkaBD00},
  volume = 1878,
  year = 2000
}

Downloads: 0