Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023) - Panizo, Laura (Journal of logical and algebraic methods in programming, 2025)
Keywords: Formal methods; Programming languages; Specification; Verification; Specification; Verification; Formal methods; Programming languages