Compositionality in the Science of System Design, at Dagstuhl Seminar “Symbolic-Numeric Methods for Reliable and Trustworthy Problem Solving in Cyber-Physical Domains
Tripakis, S. (Invited speaker)
Activity: Talk or presentation types › Public or invited talk