Items where authors include "YAN, FANG"

Proceedings Paper

YAN, FANG, Ballenghien, Benoît, FOSTER, SIMON DAVID orcid.org/0000-0002-9889-9514 et al. (3 more authors) (2026) Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. In: 17th International Conference on Interactive Theorem Proving (ITP 2026). UNSPECIFIED. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany .