Ana Cavalcanti
Ana Cavalcanti
Affiliation: University of York
Pages in this Program
Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑