Travelled to:1 × USA
Collaborated with:J.J.P.Tsai A.Liu
Talks about:approach (1) specif (1) requir (1) logic (1) frorl (1) debug (1) base (1)
Person: Krishnakumar R. Nair
DBLP: Nair:Krishnakumar_R=
Contributed to:
1993Wrote 1 papers:
- SEKE-1993-TsaiLN #approach #debugging #requirements #specification
- Debugging Logic-Based Requirements Specifications — a FRORL Approach (JJPT, AL, KRN), pp. 372–379.