Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ivan Scagnetto
conf.researchr.org general profile
ETAPS 2019 profile
Not registered as user yet
Name:
Ivan Scagnetto
Affiliation:
University of Udine
Personal website:
https://users.dimi.uniud.it/~ivan.scagnetto/
Contributions
2019
BEHAPI
Author of A Theory of Contexts for Higher-Order Encodings of Process Algebras within the BEHAPI-track
Share
x
Mon 18 Nov 11:10