Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV
MATEC Web Conf., 128 (2017) 04004
DOI: https://doi.org/10.1051/matecconf/201712804004
EDPS Account
