[Verifpal] Verifpal at ACM CCSW 2020

Nadim Kobeissi nadim at symbolic.software
Fri Oct 16 16:06:28 CEST 2020

Hello everyone,

Verifpal got accepted as a short paper at CCSW: https://ccsw.io

The event is happening online this year due to the pandemic and we were asked to pre-record our talk, so here it is:

Happy to hear your feedback,

Nadim Kobeissi
Symbolic Software • https://symbolic.software

More information about the Verifpal mailing list