Brussels / 4 & 5 February 2017

schedule

FOSDEM 2017
/
Schedule
/
Speakers
/
Mikhail Gadelha

Mikhail Gadelha

Events

Title	Day	Room	Track	Start	End
Using clang as a Frontend on a Formal Verification Tool	Sunday	K.3.201	LLVM Toolchain	13:00	13:40

FOSDEM17

Brussels / 4 & 5 February 2017

This work is licensed under the Creative Commons Attribution 2.0 Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/licenses/by/2.0/be/deed.en
or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA.

FOSDEM17

Brussels / 4 & 5 February 2017

Mikhail Gadelha

Events

FOSDEM

This year

Practical information

Media and press