Search

Select Field:

Select Index:

Search Terms:

Merigoux, Denis, 1994-....

VIAF ID: 259164959833824021615 (Personal)

Permalink: http://viaf.org/viaf/259164959833824021615

Preferred Forms

100 1 _ ‎‡a Merigoux, Denis,‏ ‎‡d 1994-....‏

Works

Title	Sources
Design de langage dédié orienté vers la preuve pour le logiciel critique.
Proof-oriented domain-specific language design for high-assurance software

Selected Co-authors

Countries and Regions of Publication (1)

About

Record Views

History of VIAF ID:259164959833824021615 (1)

© 2010-2024 OCLC
Privacy policy
Cookie Notice

Hosted by OCLC

About the dataset