author : S. Dellacherie

Short works

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