Keynote speaker Liana Hadarean, Senior Applied Scientist in the Automated Reasoning Group @awscloud, will talk about “One-click formal methods”. Join us on March 24! More info here: https://icst2020.info/info/keynotes#liana-hadarean …
03:56 - 14. sij 2020.
0 replies
5 proslijeđenih tweetova
5 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.