Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joseph R. Kiniry
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
Related publications
Modular Specification of Frame Properties in JML
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Specification of the Javacard API in JML
bHLH-PAS Proteins: Functional Specification Through Modular Domain Architecture
OA Biochemistry
Java Advanced Imaging API: A Tutorial
Revista de Informatica Teorica e Aplicada
Computer Science
Rule Systems for Runtime Verification: A Short Tutorial
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification
Modular Reasoning for Actor Specification Diagrams
A Tutorial on Text-Independent Speaker Verification
Eurasip Journal on Advances in Signal Processing
Hardware
Electronic Engineering
Signal Processing
Electrical
Architecture
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
