harmim / vut-excel-at-fit-2019

Excel@FIT 2019

http://excel.fit.vutbr.cz

vut vut-fit excel-at-fit article bachelor-thesis facebook facebook-infer static-analysis abstract-interpretation atomicity deadlock worst-case-const

Excel@FIT 2019

Authors

Dominik Harmim xharmi00@stud.fit.vutbr.cz
Vladimír Marcin xmarci10@stud.fit.vutbr.cz
Ondřej Pavela xpavel34@stud.fit.vutbr.cz

About

Excel@FIT 2019

http://excel.fit.vutbr.cz

vut vut-fit excel-at-fit article bachelor-thesis facebook facebook-infer static-analysis abstract-interpretation atomicity deadlock worst-case-const

Languages

Language:TeX 100.0%