Work

Java Card Code Generation from B Specifications

Year: 2003

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

DOI: 10.1007/978-3-540-39893-6_18

Authors: Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad

Institution: Université de Franche-Comté

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1557234332

FWCI: 0.812

Cites: 10

Cited by: 16

Related to: 10