|
FMCAD 2018
International Conference on Formal Methods in Computer-Aided Design
|
|
EMNLP 2018
2018 Conference on Empirical Methods in Natural Language Processing
|
|
SBMF 2018
21st Brazilian Symposium on Formal Methods
|
|
FTSCS 2018
6th International Workshop on Formal Techniques for Safety-Critical Systems
|
|
TACAS 2019
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
|
|
VMCAI 2019
International Conference on Verification, Model Checking, and Abstract Interpretation
|
|
MEMOCODE 2018
16th ACM-IEEE International Conference on Formal Methods and Models for System Design
|
|
FACS 2018
15th International Conference on Formal Aspects of Component Software
|
|
IMDA 2018
INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING
|
|
IEEE TNNLS SI 2019
IEEE TNNLS. Special Issue on Connectionist Methods for Finance and Blockchain
|
