Events

NASA Formal Methods 2017

NASA Ames Research Center Moffett Field, CA, USA 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. ISSN 0302-9743.

Your IPv4 address: 54.224.121.67
Switch to IPv6 connection

DNSSEC [dnssec]