Doo-Hwan Bae - FormaliSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

co-located with ICSE 2024

Registered user since Tue 15 May 2018

Name:Doo-Hwan Bae

Affiliation:Korea Advanced Institute of Science and Technology

Personal website: se.kaist.ac.kr

Research interests:Software Engineering, Modeling & Verification of System of Systems

Contributions