@inproceedings{BLS96,
title = {Powerful Techniques for the Automatic Generation of Invariants },
author = {Bensalem, Saddek and Lakhnech, Yassine and Saidi, Hassen},
year = {1996},
booktitle = {8th International Conference on Computer Aided Verification},
pages = {323-335},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {1102},
team = {DCS},
}
