Maingaud, Séverine
Séverine Maingaud informaticienne française
VIAF ID: 290341140 ( Personal )
Permalink: http://viaf.org/viaf/290341140
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références | |
Specifying programs using dynamic logic : case of the lambda-calculs withe references. |