z-logo
open-access-imgOpen Access
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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here