Java Applet Correctness: A Developer-Oriented Approach

This publication has 10 references indexed in Scilit:

• Formal development of an embedded verifier for Java Card byte code
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods
  Published by Springer Nature ,2002
• Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java
  Published by Springer Nature ,2002
• A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
  Published by Springer Nature ,2002
• Extended static checking for Java
  Published by Association for Computing Machinery (ACM) ,2002
• A Logic for the Java Modeling Language JML
  Published by Springer Nature ,2001
• The loop Compiler for Java and JML
  Published by Springer Nature ,2001
• Java Program Verification via a Hoare Logic with Abrupt Termination
  Published by Springer Nature ,2000
• An Architecture for Interactive Program Provers
  Published by Springer Nature ,2000
• The B-Book
  Published by Cambridge University Press (CUP) ,1996