Automating exception-safety classification

Gustav Munkby, Sibylle Schupp. Automating exception-safety classification. Science of Computer Programming, 76(4):278-289, 2011. [doi]

Abstract

Abstract is missing.