6 citations · 24 across the 16 of their papers we have counts for
1 paper · 2 filters
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that m…