741 followers
RT @AandVNetwork: #SEFM22 continues with Session 5: Specifications and Contracts Starting with "Information Flow Control-by-Construction f…
RT @AandVNetwork: #SEFM22 continues with Session 5: Specifications and Contracts Starting with "Information Flow Control-by-Construction f…
This session also has a bonus feature: our own @farrell_marie is chairing the session. https://t.co/u6V8pDDybu
#SEFM22 continues with Session 5: Specifications and Contracts Starting with "Information Flow Control-by-Construction for an Object-Oriented Language" By Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin and Ina Schaefer URL: http