Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems Academic Article uri icon

published proceedings

  • Journal of Computing Science and Engineering

author list (cited authors)

  • Dechev, D., Mahapatra, R., & Stroustrup, B.

citation count

  • 2

complete list of authors

  • Dechev, Damian||Mahapatra, Rabi||Stroustrup, Bjarne

publication date

  • December 2008