Login / Signup

Invariant checkers: An efficient low cost technique for run-time transient errors detection.

Carmela Noro GrandoCarlos Arthur Lang LisbôaÁlvaro Freitas MoreiraLuigi Carro
Published in: IOLTS (2009)
Keyphrases