1
Publications
16
Citations
1
H-Index
2021
Active since
Affiliations
Johannes Kepler University of Linz(Current)
Stefan Bichler is an author at Johannes Kepler University of Linz specializing in quality assurance, formal methods, and system software.
Top concepts
EngineeringVerificationFormal MethodsProcess SafetySoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware QualitySoftware Testing
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1