Brandon Moore Member Status: Collaborator E-mail: fmse@info.uaic.ro Publications 2014 All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB 2013 One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu PDF BIB One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu One-Path Reachability Logic BIB
All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB
One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu PDF BIB
One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu One-Path Reachability Logic BIB
