Virgile Prévosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans-Werner Pohl, et al.. Formal Specification and Automated Verification of Railway Software with Frama-C.
IEEE International Conference on Industrial Informatics - INDIN, Jul 2013, Bochum, France.
⟨cea-01835639⟩