αFM 2021

1st International Workshop on

Applicable Formal Methods

on 23 November 2021
hosted online by FM'21, Beijing, China