21 citations · 78 across the 23 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…