1
Publications
17
Citations
1
H-Index
2022
Active since
Patrick Haluptzok is an author specializing in software testing, computer science, and formal methods.
Top concepts
LanguageEngineeringLinguisticsFormal MethodsLanguage ModelsComputer ScienceProgram AnalysisSoftware TestingLanguage LearningSoftware Analysis
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1