Static Analysis of Concurrent Programs Using Ordinary Differential Equations.

Zuohua Ding

Browse the full ICTAC paper archive.