Formal methods for smart cards: an experience report
type: Item
instance of: scholarly article
title: Formal methods for smart cards: an experience report
zbMATH Open document ID: 1075.68567
author: C.-B. Breunesse
author: N. Cataño
author: Marieke Huisman
author: Bart Jacobs
published in: Science of Computer Programming
publication date: 2005-05-12T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 2167612
zbMATH Keywords: Formal specification languages
zbMATH Keywords: Smart cards
zbMATH Keywords: Java Card
zbMATH Keywords: Formal verification
zbMATH Keywords: JML
zbMATH Keywords: ESC/Java
zbMATH Keywords: Annotations
describes a project that uses: JML
describes a project that uses: ESC/Java
describes a project that uses: PVS
MaRDI profile type: Publication
full work available at URL: j.scico.2004.05.011
OpenAlex ID: W2167849549
Wikidata QID: Q57491357
DBLP publication ID: journals/scp/BreunesseCHJ05
DOI: 10.1016/J.SCICO.2004.05.011
description: scientific article; zbMATH DE number 2167612