Statistics
Publications
1
Citations
45
H-Index
1
Active since
2002
Affiliations
UNSW Sydney(Current)
Shane Stephens is an author at UNSW Sydney specializing in computing, computer science, and hardware model checking.
Publications per year
2002–2002
1
1
Applying source-code verification to a microkernel
Michael Hohmuth, Hendrik Tews, Shane Stephens · 2002 · 45 citations
1–1 of 1