@article{BL99,
title = {Automatic Generation of Invariants },
author = {Bensalem, Saddek and Lakhnech, Yassine},
month = {July},
year = {1999},
journal = {Formal Methods in System Design},
number = {1},
pages = {75-92},
volume = {15},
team = {DCS},
}