Normal view MARC view

Ardis, Mark A (Personal Name)

Number of records used in: 1
Preferred form: Ardis, Mark A

Machine generated authority record

Work cat.: (NEDUET)742467: Ardis, Mark A., A Framework for Evaluating Specification Methods for Reactive Systems Experience Report