VMCAI'24 - The 25th International Conference on Verification, Model Checking, and Abstract Interpretation
- Kulahcioglu Ozkan, B. (Member of programme committee)
Activity: Participating in or organising an event › Participation in conference
Activity: Participating in or organising an event › Participation in conference