Experimental Biological Protocols with Formal Semantics.

Alessandro Abate Luca Cardelli Marta Kwiatkowska Luca Laurenti Boyan Yordanov

Published in: CMSB (2018)

Keyphrases

formal semantics
databases
real world
machine learning
database systems
query processing
operational semantics