Christian W. Probst
Sort by: Publication year
- 2005
- Published
Integrated Java Bytecode Verification. / Gal, Andreas; Probst, Christian; Franz, Michael.
In: Electronic Notes in Theoretical Computer Science, Vol. 131, 2005, p. 27-38.Publication: Research - peer-review › Journal article – Annual report year: 2005