49 followers
Our article "Coherent Modal Transition Systems Refinement" has been published open-access at https://t.co/FDBzXZ8NJf.
Our article "Coherent Modal Transition Systems Refinement" has been published open-access at https://t.co/FDBzXZ8NJf.