eds. 2006 (0)

by T BALL, R B JONES
Venue:Proceedings of the 18th International Conference on Computer Aided Verification (CAV’06