Samuel Devulder, Jean-Luc Lambert
A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods
ASE, 1999.
@inproceedings{ASE-1999-DevulderL, author = "Samuel Devulder and Jean-Luc Lambert", booktitle = "{Proceedings of the 14th IEEE International Conference on Automated Software Engineering}", ee = "http://computer.org/proceedings/ase/0415/04150299abs.htm", pages = "299--302", publisher = "{IEEE Computer Society}", title = "{A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods}", year = 1999, }