90 followers
RT @convecs: New tutorial paper on compositional verification https://t.co/LdQyXzZSHU
RT @convecs: New tutorial paper on compositional verification https://t.co/LdQyXzZSHU
“Formal Methods for Industrial Critical Systems | SpringerLink” https://t.co/5hxNKSvIBn
RT @convecs: New tutorial paper on compositional verification https://t.co/LdQyXzZSHU
New tutorial paper on compositional verification https://t.co/LdQyXzZSHU