Normal view
MARC view
Heitmeyer, Constance (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)744269: Labaw, Bruce 778257, Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications