articles
Detail
Publication date: 30 de March, 2022Publication Cameleer: A Deductive Verification Tool for OCaml – Journal Numerical Algorithms
| Journal | Numerical Algorithms |
|---|---|
| Publisher | Springer |
| Volume | LNTCS |
| Number | 12760 |
| Pub. Date | 15/07/2021 |
| Journal | Numerical Algorithms |
|---|---|
| Publisher | Springer |
| Volume | LNTCS |
| Number | 12760 |
| Pub. Date | 15/07/2021 |