Normal view
MARC view
Formal Specification (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)715219: Wang, X. L. 716776, Computer-Aided Formalization of Requirements Based on Patterns