Computer science
Specification language
Correctness
Programming language specification
Programming language
Formal specification
Formal methods
Java
Language Of Temporal Ordering Specification
Smart card
Java Card
Software engineering
Formal verification
Automation
Operating system
Java applet
Mechanical engineering
Inductive programming
Programming domain
Programming paradigm
Engineering
