@inproceedings{bibcite_14977,
  author = {Artur Rataj and B. Wo{\'z}na and A. Zbrze{\'z}ny},
  title = {A translator of Java programs to TADDs},
  year = {2008},
  journal = {CS\&P {\textquoteleft}08 17 th International Conference on Concurrency, Specification and Programming. Gross Vaeter See near Berlin, 29th September {\textendash} 1 October 2008, pp. 524-535},
  language = {eng},
}