@InProceedings{Mostowski2007,
  author = 	 {Wojciech Mostowski},
  title = 	 {Fully Verified {Java Card API} Reference Implementation},
  booktitle =	 {Verify'07 4th International Verification Workshop},
  year =	 2007,
  editor =	 {Bernhard Beckert},
  month =	 {July},
  volume =       {259},
  series =       {CEUR WS}
}