Publication
Detail
Publication date: 15/07/2021Cameleer: A Deductive Verification Tool for OCaml
| URL | https://link.springer.com/chapter/10.1007/978-3-030-81688-9_31 |
|---|---|
| Journal | Numerical Algorithms |
| Publisher | Springer |
| Volume | LNTCS |
| Number | 12760 |
| Book title | International Conference on Computer Aided Verification (CAV 2021) |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-81688-9_31 |
| Journal | Numerical Algorithms |
| Publisher | Springer |
| Volume | LNTCS |
| Number | 12760 |
| Book title | International Conference on Computer Aided Verification (CAV 2021) |