Work

Formal methods : never too young to start

Year: 2008

Type: conference-paper

Source: HAL

Author: Gibson, John Paul

Institutions: Centre National de la Recherche Scientifique, Télécom SudParis, Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W4391540044

FWCI:

Cites:

Cited by: 5

Related to: 10