Brussels / 2 & 3 February 2019

schedule

FOSDEM 2019
/
Schedule
/
Speakers
/
Mikhail Gadelha

Mikhail Gadelha

The speaker description is potentially outdated as it is from a previous FOSDEM edition.

Events

Title	Day	Room	Track	Start	End
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer	Sunday	K.4.201	LLVM	14:15	14:55

FOSDEM19

Brussels / 2 & 3 February 2019

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.

FOSDEM19

Brussels / 2 & 3 February 2019

Mikhail Gadelha

Events

FOSDEM

This year

Practical information

Media and press