author : S. Dellacherie

Papers/Articles

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