Mitsutaka Takada
mitsut
Researcher at Graduate School of Informatics, Nagoya University.
@ncesnagoya @toppers Japan
Kutluhan Azaflı
kutluhanazafli
He never screams. Even after the dog has its fill and his guts are hanging out, he never screams.
İstanbul
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving