2 books • 2 series
Formal Verification of Control System Software (Princeton Series in Applied Mathematics) (Princeton Applied Mathematics, #67)
Static Analysis of Actors by Abstract Interpretation