|
FACS 2017
14th International Conference on Formal Aspects of Component Software
|
|
ICSE 2018
International Conference on Software Engineering
|
|
ICFEM 2017
19th International Conference on Formal Engineering Methods
|
|
ISCMI - IEEE 2017
2017 4th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2017)--IEEE Xplore, Ei Compendex
|
|
ICSA 2018
International Conference on Software Architecture
|
|
ICSRS - Ei 2017
2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
|
|
ISSTA 2018
International Symposium on Software Testing and Analysis
|
|
ICCTS 2017
2017 6th International Conference on Computer Technology and Science (ICCTS 2017)-EI Compendex, Scopus
|
|
COMPSAC 2018
Computer Software and Applications Conference
|
|
FMCAD 2017
Formal Methods in Computer-Aided Design
|
