Preface for the formal methods in system design special issue on SYNT 2021

DOI10.1007/S10703-023-00443-WOpenAlexW4391350272WikidataQ129061972 ScholiaQ129061972MaRDI QIDQ6151753

No author found.

Publication date: 11 March 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-00443-w

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Computer science (68-XX)

This page was built for publication: Preface for the formal methods in system design special issue on SYNT 2021