@inproceedings{icse2010-r,
  author = {Zvonimir Rakamari\'c},
  title = {{STORM}: {S}tatic Unit Checking of Concurrent Programs},
  booktitle = {Proceedings of the 32nd ACM/IEEE International
    Conference on Software Engineering (ICSE 2010) - Volume 2}, 
  publisher = {ACM}, 
  editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and
    Sebasti{\'a}n Uchitel},
  year = {2010},
  pages = {519-520},
}