Adrian Francalanza (Computer Science

Identifiers

No identifiers captured yet.

Papers (1)

1. Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques cs.LO · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Anna Ingolfsdottir (ICE-TCS 1 shared papers
• Faculty of Information & Communications Technology 1 shared papers
• Luca Aceto (ICE-TCS 1 shared papers
• Reykjavik University) 1 shared papers
• School of Computer Science 1 shared papers
• University of Malta) 1 shared papers