Abstract Software Specifications and Automatic Proof of Refinement

Claire Dross, Yannick Moy. Abstract Software Specifications and Automatic Proof of Refinement. In Thierry Lecomte, Ralf Pinger, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Volume 9707 of Lecture Notes in Computer Science, pages 215-230, Springer, 2016. [doi]

@inproceedings{DrossM16,
  title = {Abstract Software Specifications and Automatic Proof of Refinement},
  author = {Claire Dross and Yannick Moy},
  year = {2016},
  doi = {10.1007/978-3-319-33951-1_16},
  url = {http://dx.doi.org/10.1007/978-3-319-33951-1_16},
  researchr = {https://researchr.org/publication/DrossM16},
  cites = {0},
  citedby = {0},
  pages = {215-230},
  booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
  editor = {Thierry Lecomte and Ralf Pinger and Alexander Romanovsky},
  volume = {9707},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-33950-4},
}