author : Jean-Luc Lambert

Short works

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