Travelled to:
1 × USA
Collaborated with:
J.D.Riley W.Pritchett
Talks about:
implement (1) download (1) softwar (1) pattern (1) instanc (1) analysi (1) verifi (1) loader (1) domain (1) applic (1)
Person: Sangiv Dungari
DBLP: Dungari:Sangiv
Contributed to:
Wrote 1 papers:
- TRI-Ada-1997-RileyDP #analysis #implementation #verification
- An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation (JDR, SD, WP), pp. 273–278.