Proceedings Third Symposium on Working Formal Methods
Logic in Computer Science
2019-09-04 v1 Symbolic Computation
Abstract
This volume contains the proceedings of FROM 2019: the Third Symposium on Working Formal Methods, held on September 3-5, 2019 in Timi\c{s}oara (Romania). FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions.
Keywords
Cite
@article{arxiv.1909.00584,
title = {Proceedings Third Symposium on Working Formal Methods},
author = {Mircea Marin and Adrian Crăciun},
journal= {arXiv preprint arXiv:1909.00584},
year = {2019}
}