| Title | A translator of Java programs to TADDs | 
| Publication Type | Conference Paper | 
| Year of Publication | 2008 | 
| Authors | Rataj A, Woźna B., Zbrzeźny A. | 
| Conference Name | CS&P `08 17 th International Conference on Concurrency, Specification and Programming. Gross Vaeter See near Berlin, 29th September – 1 October 2008, pp. 524-535 | 
