Proceedings Tenth Symposium on Working Formal Methods
En palabras de los autores
The 10th Working Formal Methods Symposium (FROM 2026) was held in Timi\c{s}oara, Romania on September 15-17, 2026. It was organized jointly by the Faculty of Informatics of West University of Timi\c{s}oara, the e-Austria institute, and the Institute for Logic and Data Science (ILDS). This event was co-located with the 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2026). This volume contains the texts of the 14 papers accepted by the Program Committee for presentation.
Resultado principalEl resumen no menciona limitaciones.
Apareció: lunes, 28 de septiembre. arXiv. Preprint con versión publicada.
DOI: 10.4204/EPTCS.452
Versión publicada: EPTCS 452, 2026