Detecting errors before reaching them
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
LibreCat: https://research-explorer.ista.ac.at/record/4638
DOI: 10.1007/10722167_17