Bruno Lopes

Bruno Lopes co-presented on 'ReLo: A Dynamic Logic to Reason about Reo Circuits' at LSFA 2022.