Travelled to:1 × USA
Collaborated with:∅
Talks about:concurr (1) design (1) aspect (1) verif (1) true (1)
Person: David W. Mizell
DBLP: Mizell:David_W=
Contributed to:
1978Wrote 1 papers:
- POPL-1978-Mizell #aspect-oriented #concurrent #design #verification
- Verification and Design Aspects of “True” Concurrency (DWM), pp. 171–175.