Friday 17 February 2023
'JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java' by Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, and Larisa Safina, has been accepted at ETAPS 2023.
See Paper accepted at ETAPS · VerCors Tool FMT | UTwente for the Verification of Concurrent and Distributed Software (VerCors) web pages.
