"This is one of the most gorgeous applications of Formal Methods and automated tools that I've ever seen". Watch Peter Neumann make @_protz_ blush at: https://youtu.be/VpFY4g4QPnY?t=1040 …
Rest of the talk is great too!
0 replies
4 proslijeđena tweeta
13 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.