The SLAM toolkit (2001)

by T Ball, S K Rajamani
Venue:In CAV ’01: Proceedings of the 13th InternationalConferenceonComputerAidedVerification,pages260–264.Springer-Verlag