508 followers
RT @AandVNetwork: Now the final session, Session 8: Runtime Methods The first talk in this session is "Information Exchange between Over-…
RT @AandVNetwork: Now the final session, Session 8: Runtime Methods The first talk in this session is "Information Exchange between Over-…
RT @AandVNetwork: Now the final session, Session 8: Runtime Methods The first talk in this session is "Information Exchange between Over-…
Now the final session, Session 8: Runtime Methods The first talk in this session is "Information Exchange between Over- and Underapproximating Software Analyses" By Jan Haltermann and Heike Wehrheim URL: https://t.co/4EeUhVCXzU #SEFM22 @sefm_conf http