1
Published 2008
Table of Contents: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
View full text
Electronic eBook