A translator of Java programs to TADDs
| Author | Rataj A.; Woźna B.; Zbrzeźny A. |
|---|---|
| Title | A translator of Java programs to TADDs |
| Journal | 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 |
| Year | 2008 |
| Status | Published |