Formal Aspects of Component Software 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

Weitere Verfasser: “… Tapia Tarifa, Silvia Lizeth …”

Volltext

Integrated formal methods 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019, proceedings

Weitere Verfasser: DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Formal aspects of component software 18th international conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings

Weitere Verfasser: “… Tapia Tarifa, Silvia Lizeth …”