Prof. Wensing and Notre Dame co-authors Vince Kurtz, Rafael Rodrigues da Silva, and Hai Lin received the Best Interactive Paper Award for their paper “Formal Connections between Template and Anchor Models via Approximate Simulation”.
College of Engineering
Prof. Wensing and Notre Dame co-authors Vince Kurtz, Rafael Rodrigues da Silva, and Hai Lin received the Best Interactive Paper Award for their paper “Formal Connections between Template and Anchor Models via Approximate Simulation”.