102 followers
next in #fase23: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (Tool paper). Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens and Larisa Safina. Full paper open access: https://t.co/gMmmNzTQLm #etaps2