|
VMCAI 2019
International Conference on Verification, Model Checking, and Abstract Interpretation
|
|
TACAS 2019
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
|
|
ATVA 2019
International Symposium on Automated Technology for Verification and Analysis
|
|
VECoS 2019
13th International Conference on Verification and Evaluation of Computer and Communication Systems
|
|
FSEN 2019
Eighth International Conference on Fundamentals of Software Engineering
|
|
Petri Nets 2019
Applications and Theory of Petri Nets
|
|
CAV 2019
31st International Conference on Computer-Aided Verification
|
|
KALSIMIS 2019
Knowledge Acquisition and Learning in Semantic Interpretation of Medical Image Structures
|
|
MODELS 2019
ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems
|
|
ICST 2019
International Conference on Software Testing, Verification, and Validation
|
