Static Deadlock Detection in Frama-C

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Tomas Dacik

Journal title: Proceedings of the Excel@FIT Student Conference

Journal publisher: Brno University of Technology, Faculty of Information Technology

Published year: 2020