Proceedings First Workshop on Applicable Formal Methods

Mario Gleirscher, Jaco van de Pol, Jim Woodcock

Research output: Contribution to journalArticlepeer-review


This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice.
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Publication statusPublished - 15 Nov 2021


  • cs.SE

Cite this