Specification of the Javacard API in JML

doi 10.1007/978-0-387-35528-3_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Modular Specification of Frame Properties in JML

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2003English

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

English

GraphBLAS C API: Ideas for Future Versions of the Specification

2017English

Lessons From the JML Project

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

The Salt Farm and the Fishing Industry of Bagan Si Api Api

Indonesia
SociologyCultural StudiesPolitical ScienceHistory
1996English

Comparison of API 20E, API Rapid E, and API Rapid NFT for Identification of Members of the Family Vibrionaceae.

Journal of Clinical Microbiology
Microbiology
1985English

The Alignment API 4.0

Semantic Web
Computer NetworksComputer Science ApplicationsInformation SystemsCommunications
2011English

The Fallacy of the Multi-Api Culture

Journal of Documentation
Information SystemsLibraryInformation Sciences
2015English

The Importance of Specification

Diseases of the Chest
1942English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy