Events

The international conference on networked systems

Boulevard du 20 aout, Agadir, Morocco 13.-15.5.2015

Selected publications

2016HOLÍK Lukáš, MEYER Roland and MUSKALLA Sebastian. An Anti Chain-based Approach to Recursive Program Verification. In: Proceedings of International Conference on Networked Systems. Cham: Springer International Publishing, 2016, pp. 322-336. ISBN 978-3-319-26849-1.

Your IPv4 address: 3.83.192.109
Switch to https