Faculty of Information & Communications Technology

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Adrian Francalanza (Computer Science 1 shared papers
• Anna Ingolfsdottir (ICE-TCS 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