C-rusted

Download

c-rusted@bugseng.com

April 2024

1 participants
1 discussions

C-rusted Paper at ewC 2024
by Federico Serafini 29 Apr '24

29 Apr '24

Hello everyone, at the following link you can find the C-rusted paper presented at the embedded world Conference 2024 in Nuremberg, Germany, Session 6.13: Systems & Software Engineering, C/C++ https://www.bugseng.com/sites/default/files/resources/C-rusted_a_Formally_V… Any feedback is appreciated. -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)

1 0