Refinement-based Validation of Event-B Specifications
Mashkoor, Atif, Yang, Faqing, Jacquot, Jean-PierreVolume:
16
Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-016-0514-4
Date:
July, 2017
File:
PDF, 1021 KB
english, 2017