Normal view
MARC view
Industrial Application (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)742467: Ardis, Mark A. 773971, A Framework for Evaluating Specification Methods for Reactive Systems Experience Report