Filters: Subject: " floating- point"
1 - 50 of 1
| Title | Date | Type | ||
|---|---|---|---|---|
| 1 |
 |
Extending Support for Floating-Points in the Boogie and Smack Software Verifiers | 2019 | Text |
1 - 50 of 1
| Title | Date | Type | ||
|---|---|---|---|---|
| 1 |
|
Extending Support for Floating-Points in the Boogie and Smack Software Verifiers | 2019 | Text |