
Analyse statique par interprétation abstraite de propriétés temporelles des programmes
Author(s) -
Caterina Urban
Publication year - 2016
Publication title -
1024
Language(s) - French
Resource type - Journals
ISSN - 2270-1419
DOI - 10.48556/sif.1024.8.133
Subject(s) - philosophy , humanities