TY  - RPRT
TI  - Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques
AU  - Luca Aceto
AU  - Adrian Francalanza
AU  - Anna Ingolfsdottir
PY  - 2016
DO  - 10.4204/eptcs.208
UR  - https://arxiv.org/abs/1605.08096
ID  - 1605.08096
ER  -