Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joachim Berg
Specification of the Javacard API in JML
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
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
GraphBLAS C API: Ideas for Future Versions of the Specification
Lessons From the JML Project
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Salt Farm and the Fishing Industry of Bagan Si Api Api
Indonesia
Sociology
Cultural Studies
Political Science
History
Comparison of API 20E, API Rapid E, and API Rapid NFT for Identification of Members of the Family Vibrionaceae.
Journal of Clinical Microbiology
Microbiology
The Alignment API 4.0
Semantic Web
Computer Networks
Computer Science Applications
Information Systems
Communications
The Fallacy of the Multi-Api Culture
Journal of Documentation
Information Systems
Library
Information Sciences
The Importance of Specification
Diseases of the Chest
