Travelled to:1 × USA
Collaborated with:J.D.Riley
Talks about:analysi (1) system (1) static (1) integr (1) tool (1) high (1) base (1) asi (1)
Person: William W. Pritchett IV
DBLP: IV:William_W=_Pritchett
Contributed to:
1998Wrote 1 papers:
- SIGAda-1998-PritchettR #static analysis
- An ASIS-Based Static Analysis Tool for High-Integrity Systems (WWPI, JDR), pp. 12–17.