Kevin W. Hamlen, Micah M. Jones, and Meera Sridhar
In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 126—140, March-April 2012
Publication year: 2012