La lecture à portée de main
Suivre
Documents
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot1
Documents
Etudes supérieures
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot1
22 pages
English
Documents
Higher order quantification and proof search
Documents
Rapports de stage
Higher order quantification and proof search
16 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}