317 followers
Why I was there: our track on X-by-Construction (for X beyond just correctness) Software, now focusing on probabilistic settings; co-organizers @i_schaefer, Maurice ter Beek, Axel Legay, Bruce Watson. https://t.co/PXOWxLpCHJ and https://t.co/PPjO7UwBcW for