Login / Signup

Generating Event-B Specifications from Algorithm Descriptions.

Joy ClarkJens BendispostoStefan HallerstedeDominik HansenMichael Leuschel
Published in: ABZ (2016)
Keyphrases