Events

NASA Formal Methods 2017

Moffett Field 16.-18.5.2017

Selected publications

2017ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISBN 978-3-319-57287-1.

Your IPv4 address: 54.158.52.166
Switch to IPv6 connection

DNSSEC [dnssec]