@misc{indiciae876b7907e8ce,
  title = {Experimental Biological Protocols with Formal Semantics},
  author = {Alessandro Abate and Luca Cardelli and Marta Kwiatkowska and Luca Laurenti and Boyan Yordanov},
  year = {2018},
  url = {https://arxiv.org/abs/1710.08016},
  note = {Source identifier: 1710.08016}
}