Principles and Techniques for Maximizing the Effectiveness of Group Therapy with Sex Offenders
- 作者Jerry L. Jennings; Steven Sawyer
- 卷第15卷
- 期第4期
- 印刷ISSN1079-0632
- 电子ISSN1573-286X
- 文件大小67.67KB
- 发表时间2003-10
- DOI10.1023/a:1025091826139
- 页码251-267
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