Normal view
MARC view
Leveson, Nancy G (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)742465: Heimdahl, Mats P.E. 773967, Completeness and Consistency in Hierarchical State-Based Requirements