Mechanized formal methods: progress and prospects (Q6567754)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Mechanized formal methods: progress and prospects |
scientific article; zbMATH DE number 7876713
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mechanized formal methods: progress and prospects |
scientific article; zbMATH DE number 7876713 |
Statements
Mechanized formal methods: progress and prospects (English)
0 references
5 July 2024
0 references
0.7715974450111389
0 references
0.7686049938201904
0 references
0.7623466849327087
0 references
0.7584877014160156
0 references
0.7502437233924866
0 references