Skip to main content

Checking static properties using conservative approximations to reachability

Pedro Antonino‚ Thomas Gibson−Robinson and A.W. Roscoe

Book Title
Proceedings of SBMF 2017
Year
2017