Statistics
Publications
1
Citations
32
H-Index
1
Active since
2007
Affiliations
UNSW Sydney(Current)
Patrick Jayet is an author at UNSW Sydney specializing in abstraction, computing, and static verification.
Publications per year
2007–2007
1
1
Model Checking Software at Compile Time
Ansgar Fehnker, Ralf Huuck, Patrick Jayet et al. · 2007 · 32 citations
1–1 of 1