@InProceedings{Mostowski2006,
  author = 	 {Wojciech Mostowski},
  title = 	 {Formal Reasoning about Non-Atomic {Java Card} Methods in {Dynamic Logic}},
  booktitle = 	 {Proceedings, Formal Methods (FM) 2006, Hamilton, Ontario, Canada}, 
  year =	 2006,
  month =        {August},
  editor =       {Jayadev Misra and Tobias Nipkow and Emil Sekerinski},
  series =	 {LNCS},
  pages =        {444--459},
  volume =       {4085},
  publisher =	 {Springer}
}