Login / Signup

A Forward-Backward Abstraction Refinement Algorithm.

Francesco RanzatoOlivia Rossi-DoriaFrancesco Tapparo
Published in: VMCAI (2008)
Keyphrases