The Spec UI framework

Ouvrages Année : 2017

(1) , (2)

1
2

Johan Fabry

Computer Science Department [Santiago]

Stéphane Ducasse

Langage de programmation [cs.PL]

Fichier principal

2017-01-23-SpecBooklet.pdf (784.49 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-01612690

Soumis le : samedi 7 octobre 2017-19:05:12

Dernière modification le : mercredi 24 janvier 2024-09:54:23

Archivage à long terme le : lundi 8 janvier 2018-14:37:05

hal-01612690 , version 1 (07-10-2017)

Johan Fabry, Stéphane Ducasse. The Spec UI framework. published by the authors, pp.84, 2017. ⟨hal-01612690⟩

CNRS INRIA INRIA-CHILE CRISTAL INRIA2 CRISTAL-RMOD UNIV-LILLE

200 Consultations

826 Téléchargements