Knowledge Tree

researcher / Francisca Ordaz-Losavio

Francisca Ordaz-Losavio

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Derivation systematique de programmes ada comportant des traitements d'exception a partir des psecifications algebriques de type de donnees

Construction assistée de programmes ADA fondée sur la prise en compte d'exceptions