Login / Signup

Automated synthesis of application-layer connectors from automata-based specifications.

Marco AutiliPaola InverardiRomina SpalazzeseMassimo TivoliFilippo Mignosi
Published in: J. Comput. Syst. Sci. (2019)
Keyphrases