Travelled to:1 × USA
Collaborated with:T.R.Kushner
Talks about:cleanroom (1) aoexpert (1) project (1) program (1) verifi (1) experi (1) rule (1) part (1) base (1) mvs (1)
Person: Deborah S. Eisenberg
DBLP: Eisenberg:Deborah_S=
Contributed to:
1993Wrote 1 papers:
- SEKE-1993-KushnerE #experience #rule-based #verification
- Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS (TRK, DSE), pp. 445–452.