Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017

Sydney / NICTA (2017) [Book, Proceedings]

3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis Uppsala 2017-04-22 - 2017-04-22

Authors

Selected Authors

Ábrahám, Erika
Bogomolov, Sergiy

Identifier