Sign in
John Ngui
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
John Ngui
,
Paul A. Strooper
,
Luke Wildman
,
Margaret A. Wojcicki
Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.
ASWEC
(2007)