Home

Back

Julian Rathke: BibTex


@inproceedings{JR05-jjfatscjl,
  author	= {Jeffrey, Alan and Rathke, Julian},
  title		= {Java Jr. : Fully abstract trace semantics for a Core Java Language},
  booktitle	= {Proc. European Symposium on Programming {ESOP}},
  year		= {2005},
  series	= {Lecture Notes in Computer Science},
  volume	= {3444},
  publisher	= {Springer-Verlag},
  pages		= {423--438},
}