Introduction to the Special Collection from iFM 2023

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.

Authors

Anton Wijs (ORCID: https://orcid.org/0000-0002-2071-9624)
Paula Herber (ORCID: https://orcid.org/0000-0002-5349-154X)

Institutions

University of Münster (DE)
Eindhoven University of Technology (NL)

Publication Details

Journal: Formal Aspects of Computing
Published: 2025-10-31
DOI: https://doi.org/10.1145/3765650
Primary Topic: Formal Methods in Verification
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Introduction to the Special Collection from iFM 2023

Anton Wijs, Paula Herber

Oct 31, 2025

Formal Aspects of Computing

Formal Methods in Verification

article

Introduction to the Special Collection from iFM 2023

Anton Wijs, Paula Herber

October 31, 2025article en

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.

Formal Aspects of ComputingVol. 37(4)

University of Münster (DE), Eindhoven University of Technology (NL)

Openalex Percentile: Top 67%

Formal Methods in Verification

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Introduction to the Special Collection from iFM 2023 — Anton Wijs, Paula Herber · Formal Aspects of Computing (2025) | TGRS Research Map | TGRS