1
Publicerad 2008
Innehållsförteckning: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
Hämta fulltext
Elektronisk E-bok