@inproceedings{BLO98b,
title = {InVeSt : A Tool for the Verification of Invariants },
author = {Bensalem, Saddek and Lakhnech, Yassine and Owre, Sam},
year = {1998},
booktitle = {Computer Aided Verification},
pages = {505-510},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {1427},
team = {DCS},
}
