Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
operational game semantics
Publications
From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract)
Vasileios Koutavas
,
Yu-Yang Lin
and
Nikos Tzevelekos
EasyChair Preprint 8780
Copyright © 2012-2024 easychair.org. All rights reserved.