@unpublished{gustedt:hal-03328557, TITLE = {{Add annotations for unreachable control flow (slides)}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03328557}, NOTE = {working paper or preprint}, YEAR = {2021}, MONTH = Aug, PDF = {https://inria.hal.science/hal-03328557/file/reachability-talk.pdf}, HAL_ID = {hal-03328557}, HAL_VERSION = {v1}, }