G. Denker, J. Meseguer, C. Talcott
Research output: Contribution to journal › Conference article › peer-review