2015
Proving language inclusion and equivalence by coinduction
Publication
Publication
Additional Metadata | |
---|---|
preprint (not CWI, to be used with submitted papers) | |
Organisation | Computer Security |
Rot, J., Bonsangue, M., & Rutten, J. (2015). Proving language inclusion and equivalence by coinduction. preprint (not CWI, to be used with submitted papers). |