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
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2025-02-14 11:44