University of Malta)
Identifiers
- name variant University of Malta) 0.60 · backfill
Papers (3)
- Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques cs.LO · 2016 · author #6
- Unlocking Blocked Communicating Processes cs.PL · 2015 · author #3
- Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing cs.SE · 2014 · author #3
Mentions
- 1508.03901 #3 · backfill · confidence 0.70 University of Malta)
- 1403.7258 #3 · backfill · confidence 0.70 University of Malta)
Frequent Coauthors
- Adrian Francalanza (Computer Science 1 shared papers
- Adrian Francalanza (CS 1 shared papers
- Anna Ingolfsdottir (ICE-TCS 1 shared papers
- Ant\'onio Ravara (NOVA LINCS 1 shared papers
- Christian Colombo (PEST Research Lab 1 shared papers
- Department of Computer Science 1 shared papers
- DI 1 shared papers
- DI-FCT 1 shared papers
- Faculty of Information & Communications Technology 1 shared papers
- ICT 1 shared papers
- Luca Aceto (ICE-TCS 1 shared papers
- Marco Giunti (RELEASE 1 shared papers
- Mark Micallef (PEST Research Lab 1 shared papers
- Mark Scerri (PEST Research Lab 1 shared papers
- Reykjavik University) 1 shared papers
- School of Computer Science 1 shared papers
- Universidade da Beira Interior & NOVA LINCS 1 shared papers
- Universidade Nova de Lisboa) 1 shared papers