Isabelle/UTP
Jay Lee
Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))
@ropas @KoreanTUG Seoul, Republic of Korea
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
