TY  - RPRT
TI  - Experimental Biological Protocols with Formal Semantics
AU  - Alessandro Abate
AU  - Luca Cardelli
AU  - Marta Kwiatkowska
AU  - Luca Laurenti
AU  - Boyan Yordanov
PY  - 2018
UR  - https://arxiv.org/abs/1710.08016
ID  - 1710.08016
ER  -