Followers

Formal Methods Europe

@fme@mastodon.acm.org

Raúl Pardo

@raulpardo@social.itu.dk

FMASWorkshop

@FMASWorkshop@mastodon.acm.org

Volker Stolz

@fm_volker@mastodon.social

Carlo A. Furia

@bugcounting@mastodon.acm.org

Étienne André

@etienneandre@lipn.info

Jan Tobias Muehlberg

@jtmuehlberg@mastodon.online