Crossmark

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

Published Online: 2024-01-30

Published Print: 2022-12

Authors

Polgreen, Elizabeth

Perez, Guillermo Alberto
License Information

Text and Data Mining valid from 2022-12-01

Version of Record valid from 2022-12-01
More Information

Article History

Accepted: 14 December 2023

First Online: 30 January 2024

Free to read: This content has been made available to all.

Document is current