VeTSS (@vetss_ri) 's Twitter Profile
VeTSS

@vetss_ri

Research Institute on Verified Trustworthy Software Systems (VeTSS) at University of Surrey (director: B. Dongol) & Imperial College (director: @azalearaad)

ID: 1640319077993381890

linkhttps://vetss.org.uk calendar_today27-03-2023 11:46:41

87 Tweet

80 Takipçi

126 Takip Edilen

VeTSS (@vetss_ri) 's Twitter Profile Photo
VeTSS
@vetss_ri

2 years ago

We had a great start to the #VeTSS 2023 summer school with Prof. Georg Struth on "Algebraic Semantics and Verification" with implementations in Isabelle/HOL.

We had a great start to the #VeTSS 2023 summer school with Prof. Georg Struth on "Algebraic Semantics and Verification" with implementations in Isabelle/HOL.