Followers

VTb

@PiBVT@mstdn.anqou.net

Formal Methods Europe

@fme@mastodon.acm.org

Andrzej Wąsowski ☑️ 🟥

@AndrzejWasowski@social.itu.dk

Yudai Tanabe

@yudaitnb@mastodon.acm.org

K.Hirata

@faibles_math@mathtod.online

Masaki Waga

@maswag@mastodon.maswag.net

Jeffrey Phillips Freeman

@freemo@mastodon.acm.org

Étienne André

@etienneandre@lipn.info

Comp. Software Group, Kyoto U

@fos_kuis@mastodon.acm.org

Atsushi Igarashi

@50storms@mastodon.acm.org