Concepedia

Philipp Schröer

PS

Statistics

Publications

1

Citations

19

H-Index

1

Active since

2023

Affiliations

University College London(Current)

Philipp Schröer is an author at University College London specializing in software verification, software analysis, and software testing.

ORCID

Top concepts

Publications per year

2023–2023

1

Publications

1

A Deductive Verification Infrastructure for Probabilistic Programs

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski et al. · Proceedings of the ACM on Programming Languages · 2023 · 19 citations · Full text

, , +16

Rows per page

1–1 of 1