author : Samuel Devulder

Short works

• Software Verification Based on Linear Programming. 1999. (In FM'99 volume 2 )