FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026

Registered user since Thu 11 Apr 2024

Name:Yifeng He
Affiliation:University of California at Davis, USA
Personal website: https://yfhe.net/about/
Research interests:Software Security, Software Testing, Software Engineering

Contributions

Show activities from other conferences

Using general profile