Year: 2025
Type: article
Abstract: This special collection arose from the 18th International Conference on integrated Formal Methods (iFM 2023), which was held in Leiden, The Netherlands from 13 to 15 November 2023.
Source: Formal Aspects of Computing
DOI: 10.1145/3765650
Authors: Paula Herber, Anton Wijs
Institutions: University of Münster, Eindhoven University of Technology
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4415739366
FWCI:
Cites:
Cited by:
Related to: