Computer Aided Verification

Overview of attention for book

Springer International Publishing

Attention for Chapter: Cameleer: A Deductive Verification Tool for OCaml

Altmetric Badge

Mentioned by

So far, Altmetric has seen 5 X posts from 2 X users, with an upper bound of 7,407 followers.

RT @esumii: https://t.co/ET9DPi0MPC （長いので並列セッションどうするか悩む

RT @esumii: 日本時間18:00-21:30のチュートリアルは https://t.co/qxXC10Lzif 論文はCAV 2021 https://t.co/O4KVj7ElYR か

https://t.co/ET9DPi0MPC （長いので並列セッションどうするか悩む

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 1 additional X posts.