Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Construction and analysis of transition systems with MEC
Construction and analysis of transition systems with MEC
COBRA fundamentals and programming
COBRA fundamentals and programming
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A type system for Java bytecode subroutines
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for object initialization in the Java bytecode language
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Inside Java 2 platform security architecture, API design, and implementation
Inside Java 2 platform security architecture, API design, and implementation
A deadlock detection tool for concurrent Java programs
Software—Practice & Experience
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Communication and Concurrency
Java Virtual Machine Specification
Java Virtual Machine Specification
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
The Java Programming Language
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines
Formal Syntax and Semantics of Java
Implementing Java Consistency Using a Generic, Multithreaded DSM Runtime System
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
JEM-DOOS: The Java/RMI Based Distributed Objects Operating System of the JEM Project
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Static analysis via abstract interpretation of the happens-before memory model
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
| Hi-index | 0.02 |