The SLAM toolkit (2001)

by T Ball, S Rajamani
Venue:13th Annual Conference on Computer Aided Verification (CAV 2001