689 followers
RT @AandVNetwork: Session Three: Verifier Technology Starting with "Cooperation between Automatic and Interactive Software Verifiers" By…
RT @AandVNetwork: Session Three: Verifier Technology Starting with "Cooperation between Automatic and Interactive Software Verifiers" By…
Session Three: Verifier Technology Starting with "Cooperation between Automatic and Interactive Software Verifiers" By Dirk Beyer, Martin Spiessl and Sven Umbricht URL: https://t.co/CbeJrkySoS #SEFM22 https://t.co/2kVG2j9snq