Login / Signup

Language-based Abstractions for Dynamical Systems.

Andrea Vandin
Published in: QAPL@ETAPS (2017)
Keyphrases