Samuel Devulder, Jean-Luc Lambert. A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. In ASE. pages 299-302, 1999. [doi]
@inproceedings{DevulderL99,
title = {A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods},
author = {Samuel Devulder and Jean-Luc Lambert},
year = {1999},
url = {http://computer.org/proceedings/ase/0415/04150299abs.htm},
tags = {program verification, programming},
researchr = {https://researchr.org/publication/DevulderL99},
cites = {0},
citedby = {0},
pages = {299-302},
booktitle = {ASE},
}