10:45 to 11:30
Symposium
Abstract machines, formal verification and cellular biochemistry
François Fages
10:45 to 11:30