Normal view
MARC view
Puchol, Carios (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)742467: Ardis, Mark A. 773971, A Framework for Evaluating Specification Methods for Reactive Systems Experience Report