By the same authors

From the same journal

From the same journal

Proceedings First Workshop on Applicable Formal Methods

Research output: Contribution to journalArticlepeer-review

Full text download(s)


Published copy (DOI)



Publication details

JournalElectronic Proceedings in Theoretical Computer Science
DatePublished - 15 Nov 2021
Original languageEnglish


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.

    Research areas

  • cs.SE

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations