Události

NASA Formal Methods 2017

Moffett Field 16.-18.5.2017

Vybrané publikace

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

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https