Arshad Beg - ECOOP 2026

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Registered user since Tue 5 May 2026

Name:Arshad Beg

Affiliation:Maynooth University, Ireland

Contributions

2026

FTfJP

Evaluating LLM-Generated ACSL Annotations for Formal Verification

Show activities from other conferences

ECOOP 2026-profile
View general profile