@inproceedings{NR20,
title = {Proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020), Vienna, Austria, August 2020, editors Thao Dang and Stefan Ratschan },
year = {2020},
series = {EPTCS},
team = {axe_Mohytos, TEMPO},
}
