Lake Pátzcuaro fishery management plan
- 作者Alma Araceli Orbe-Mendoza; Javier Acevedo-García; John Lyons
- 卷第12卷
- 印刷ISSN0960-3166
- 电子ISSN1573-5184
- 文件大小114.34KB
- 发表时间2002
- DOI10.1023/a:1025087705940
- 页码207-217
Verified Java Bytecode Verification (Verified Java Bytecode Verification)Klein, Gerwin · it - Information Technology · 2005
Integrated Java Bytecode VerificationAndreas Gal; Christian W. Probst; Michael Franz · 2005
Bytecode verification on Java smart cardsXavier Leroy · 2002
Java Bytecode Verification: Algorithms and FormalizationsXavier Leroy · 2003
Checking secure information flow in Java bytecode by code transformation and standard bytecode verificationC. Bernardeschi; N. De Francesco; G. Lettieri; L. Martini · 2004
Improving the official specification of Java bytecode verificationAlessandro Coglio · 2003
Simple verification technique for complex Java bytecode subroutinesAlessandro Coglio · 2004
Verified lightweight bytecode verificationGerwin Klein; Tobias Nipkow · 2001
Equational reasoning in IsabelleTobias Nipkow · 1989
PrefaceStephan Merz; Tobias Nipkow · 2007
Verified bytecode verifiersGerwin Klein; Tobias Nipkow · 2003
Combining matching algorithms: The regular caseTobias Nipkow · 1991
Boolean unification — The story so farUrusula Martin; Tobias Nipkow · 1989
Unification in Boolean ringsUrsula Martin; Tobias Nipkow · 1988
Deduktion: von der Theorie zur AnwendungFranz Baader; Bernhard Beckert; Tobias Nipkow · 2010