Formal Methods for Everyone: Practical Tools for Computer-Aided Reasoning
In case you find any issue on this website or any information which is wrong, you can either tweet us on @codeat3 or create an issue on github.
© talksatconfs.com
Designed using tailwindui
& tailwindcss
Developed using laravel
Deployed on digitalocean