-
1
Formal methods and software engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings
Veröffentlicht 2021Weitere Verfasser: “… Lin, Shang-Wei …”
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-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
2
Formal methods and software engineering 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings
Veröffentlicht 2021Weitere Verfasser: “… Lin, Shang-Wei …”
Tagungsbericht Buch