Work

Vérification formelle de la plate-forme Java Card

Year: 2003

Type: dissertation

Source: OpenGrey (Institut de l'Information Scientifique et Technique)

Author: Guillaume Dufay

Language: French

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W148284474

Cites: 63

Cited by: 3

Related to: 10