B
[BR01] Thomas Ball et Sriram Rajamani. The SLAM toolkit. In CAV'01, Lecture Notes in Computer Science 2102, pages 260-264. Springer-Verlag, juillet 2001. 
@inproceedings{cav2001-BR,
  author =              {Ball, Thomas and Rajamani, Sriram},
  title =               {The {SLAM} toolkit},
  editor =              {Berry, G{\'e}rard and Comon, Hubert and Finkel,
                         Alain},
  booktitle =           {{P}roceedings of the 13th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'01)},
  acronym =             {{CAV}'01},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2102},
  pages =               {260-264},
  year =                {2001},
  month =               jul,
}
Liste des auteurs