Preface for the formal methods in system design special issue on `Formal Methods 2021'

DOI10.1007/S10703-023-00438-7OpenAlexW4387266922MaRDI QIDQ6185820

No author found.

Publication date: 8 January 2024

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-023-00438-7

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx)

This page was built for publication: Preface for the formal methods in system design special issue on `Formal Methods 2021'