mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
FormaliSE '22: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
Stefania, Gnesi [szerk.]
;
Nico, Plat [szerk.]
Angol nyelvű Konferenciakötet (Könyv) Tudományos
Megjelent: Association for Computing Machinery (ACM), New York, Amerikai Egyesült Államok
2022
Konferencia:
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2022 2022-05-18 [Pittsburgh (PA), Amerikai Egyesült Államok]
Azonosítók
MTMT: 32836582
ISBN:
9781450392877
Fejezetek
Bajczi Levente et al. C for Yourself: Comparison of Front-End Techniques for Formal Verification. (2022) Megjelent: FormaliSE '22: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering pp. 1-11
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2025-02-14 11:44
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás