https://hal.inria.fr/hal-01084228 Contributor : Stephan MerzConnect in order to contact the contributor Submitted on : Tuesday, November 18, 2014 - 5:33:31 PM Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Gerald Lüttgen, Stephan Merz. Science of Computer Programming Special Issue: Automated Verification of Critical Systems. Netherlands. 96 (3), Elsevier, 2014, Science of Computer Programming. ⟨hal-01084228⟩