Building heterogeneous safety cases for automatically generated code - Basir N.; Denney E.; Fischer B. (2024)
Indexed by Scopus