SPIN 2023

    April 26-27
    Paris

Abstract: Jan 20 AoE
Submission: Jan 23 AoE
Notification: Feb 23 AoE

SPIN 2023

29th International Symposium on Model Checking Software

April 26-27, co-located with ETAPS 2023 in Paris

Paris.jpg

News