Foundations for using linear temporal logic in Event-B refinement
Crossref DOI link: https://doi.org/10.1007/s00165-016-0376-0
Published Print: 2016-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hoang, Thai Son
Schneider, Steve
Treharne, Helen
Williams, David M.
License valid from 2016-11-01