SHOHAM, Sharon und VIZEL, Yakir, 2025. Preface of the special issue on the Conference on Computer-Aided Verification 2022. Formal Methods in System Design. 1 August 2025. Vol. 66, no. 2, p. 131-133. DOI 10.1007/s10703-025-00475-4.
Elsevier - Harvard (with titles)Shoham, S., Vizel, Y., 2025. Preface of the special issue on the Conference on Computer-Aided Verification 2022. Formal Methods in System Design 66, 131-133. https://doi.org/10.1007/s10703-025-00475-4
American Psychological Association 7th editionShoham, S., & Vizel, Y. (2025). Preface of the special issue on the Conference on Computer-Aided Verification 2022. Formal Methods in System Design, 66(2), 131-133. https://doi.org/10.1007/s10703-025-00475-4
Springer - Basic (author-date)Shoham S, Vizel Y (2025) Preface of the special issue on the Conference on Computer-Aided Verification 2022.. Formal Methods in System Design 66:131-133. https://doi.org/10.1007/s10703-025-00475-4
Juristische Zitierweise (Stüber) (Deutsch)Shoham, Sharon/ Vizel, Yakir, Preface of the special issue on the Conference on Computer-Aided Verification 2022., Formal Methods in System Design 2025, 131-133.