Emailfmse@info.uaic.roStatusCollaboratorPublications2014All-Path Reachability LogicAndrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Serbanuta, Grigore Rosu Conference2013One-Path Reachability LogicGrigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon Moore ConferenceOne-Path Reachability LogicGrigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon Moore Conference