Bílý, A., id_orcid:0 000-0002-9284-9161, Pereira, J. C., & Müller, P. (2025, Januar 1). A Refinement Methodology for Distributed Programs in Rust. Gehalten auf der. Association for Computing Machinery. https://doi.org/10.3929/ethz-c-000784490
ISO-690 (author-date, English)BÍLÝ, Aurea, id_orcid:0 000-0002-9284-9161, PEREIRA, João C. und MÜLLER, Peter, 2025. A Refinement Methodology for Distributed Programs in Rust. In: . Association for Computing Machinery. 1 Januar 2025.
Modern Language Association 9th editionBílý, A., id_orcid:0 000-0002-9284-9161, J. C. Pereira, und P. Müller. A Refinement Methodology for Distributed Programs in Rust. Association for Computing Machinery, 2025, https://doi.org/10.3929/ethz-c-000784490.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
Bílý, A., id_orcid:0 000-0002-9284-9161, Pereira, J.C. und Müller, P. (2025), „A Refinement Methodology for Distributed Programs in Rust“, in , Bd. , Association for Computing Machinery, verfügbar unter:https://doi.org/10.3929/ethz-c-000784490.