Format:
1 Online-Ressource
,
Illustrationen
ISBN:
9781450392877
Note:
"This volume contains the papers presented at FormaliSE 2022: the 10th International Conference on Formal Methods in Software Engineering, co-located with ICSE 2022, the 44th International Conference on Software Engineering." - Vorwort
,
"FormaliSE 2022 offered two on-line conference days on May 18 and 19, 2022, as well as one in-person day in Pittsburgh, PA, USA, on May 22." - Vorwort
,
Literaturangaben
Additional Edition:
ISBN 9781665452083
Language:
English
Keywords:
Software
;
Testen
;
Automation
;
Konferenzschrift
Bookmarklink