On the use of assertions for embedded-software dynamic verification.

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli

Browse the full DDECS paper archive.