A Framework for Component Mapping Between Event-B and Python

Public

Published in Lecture notes in networks and systems • Jan 1, 2022

Authors:

Rahul Karmakar

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!