Trustworthy and Distributed Automated Reasoning Prof. Michael Franz (University of Caliphoneya, Irvine) TBD | ECHO-ARENA Abstrat TBD Michael Franz TBD Share this page: Facebook Linkedin Twitter Email WhatsApp Share this page