Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
ACM Transactions on Programming Languages and Systems (TOPLAS)
Jfc Swing Components: A Tutorial Guide for Constructing GUIs with Cdrom
Jfc Swing Components: A Tutorial Guide for Constructing GUIs with Cdrom
The Java Language Specification
The Java Language Specification
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
InterACT: An Interactive Theorem Prover for Algebraic Specifications
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Techniques for program verification
Techniques for program verification
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |