%0 Conference Paper
%B 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
%D 2008
%G eng
%T A translator of Java programs to TADDs