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]

Authors

Claire Dross

This author has not been identified. Look up 'Claire Dross' in Google

Yannick Moy

This author has not been identified. Look up 'Yannick Moy' in Google