Normal view
MARC view
liu, Shaoying (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)715219: Wang, X. L. 716776, Computer-Aided Formalization of Requirements Based on Patterns