Proceedings Eighth Symposium on Working Formal Methods
Logic in Computer Science
2024-10-31 v1
Abstract
The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical contributions.
Keywords
Cite
@article{arxiv.2410.23020,
title = {Proceedings Eighth Symposium on Working Formal Methods},
author = {Mircea Marin and Laurenţiu Leuştean},
journal= {arXiv preprint arXiv:2410.23020},
year = {2024}
}