Cut branches before looking for bugs: certifiably sound verification on relaxed slices
Crossref DOI link: https://doi.org/10.1007/s00165-017-0439-x
Published Print: 2018-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Léchenet, Jean-Christophe
Kosmatov, Nikolai
Le Gall, Pascale
License valid from 2018-01-01