Travelled to:1 × USA
Collaborated with:T.Wang A.Roychoudhury R.H.C.Yap
Talks about:behavior (1) symbol (1) requir (1) execut (1)
Person: S. C. Choudhary
DBLP: Choudhary:S=_C=
Contributed to:
2004Wrote 1 papers:
- PADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation
- Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.