[ACM Press the 30th Brazilian Symposium - Maringá, Brazil (2016.09.19-2016.09.23)] Proceedings of the 30th Brazilian Symposium on Software Engineering - SBES '16 - Model Verification of Dynamic Software Product Lines
Santos, Ismayle S.; Rocha, Lincoln S.; Neto, Pedro A. Santos; Andrade, Rossana M. C.
- 作者Santos, Ismayle S.; Rocha, Lincoln S.; Neto, Pedro A. Santos; Andrade, Rossana M. C.
- 文件大小814.31KB
- 发表时间2016
- DOI10.1145/2973839.2973852
- 页码113-122