La lecture à portée de main
Suivre
Documents
A JML Tutorial - Modular Specification and Verification of ...
Gary T. Leavens, Joseph R. Kiniry, Erik Poll
Documents
Savoirs
A JML Tutorial - Modular Specification and Verification of ...
Gary T. Leavens, Joseph R. Kiniry, Erik Poll
232 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}