Veri cation, volume 1633 of LNCS (1999)

by A Pardo
Venue:In Computer-Aided