Alexandre Madeira

Alexandre Madeira co-presented on 'Tool Support for Interval Specifications in Differential Dynamic Logic' at LSFA 2022.

Speaking History (1 events)

LSFA 2022

September 23-24, 2022·Belo Horizonte

Topics

Legal DesignGeneral LegalTechLegal Education