Abramo Bagnara

1. C-rusted: The Advantages of Rust, in C, without the Disadvantages
   2023/02/10 by Roberto Bagnara, Abramo Bagnara, Bagnara, Roberto +3 · 3 voices
   Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Software Reliability and Analysis Research #cs.CR #cs.PL #cs.SE
2. The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
   2018/09/04 by Roberto Bagnara, Abramo Bagnara, Bagnara, Roberto +3 · 3 citations
   Computer Science · Engineering · #68N15 #D.3.0 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques