We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SE
< prev | next >
new | recent | 2111

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Software Engineering

Title: Proceedings First Workshop on Applicable Formal Methods

Authors: Mario Gleirscher (University of Bremen), Jaco van de Pol (Aarhus University), Jim Woodcock (University of York)
(Submitted on 15 Nov 2021)
Abstract: 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.
Subjects: Software Engineering (cs.SE)
Journal reference: EPTCS 349, 2021
DOI: 10.4204/EPTCS.349
Cite as: arXiv:2111.07538 [cs.SE]
  (or arXiv:2111.07538v1 [cs.SE] for this version)

Submission history

From: EPTCS [view email]
[v1] Mon, 15 Nov 2021 05:18:41 GMT (5kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.