Registered user since Wed 20 Jul 2016
Name:Boris Yakobowski
Country:France
Affiliation:AdaCore
Personal website: http://www.yakobowski.org/
Research interests:Formal verification, Static analysis, Abstract interpretation
Contributions
PLDI 2022-profile
View general profile
View general profile