The working group on Domain Theory lead by Jules Chouquet starts on June 14 and will meet about twice a month
Languages, Models and Verification
The working group on Domain Theory lead by Jules Chouquet starts on June 14 and will meet about twice a month