|
SEFM 2020
Software Engineering and Formal Methods
|
|
CAV 2020
Computer Aided Verification
|
|
ICFEM 2020
The 22nd International Conference on Formal Engineering Methods (2020)
|
|
ATVA 2020
18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
|
|
DAWSN 2020
Special Issue “Distributed Algorithms for Wireless Sensor Networks”
|
|
GandALF 2020
11th International Symposium on Games, Automata, Logics, and Formal Verification
|
|
FMICS 2020
25th International Conference on Formal Methods for Industrial Critical Systems
|
|
SETTA 2020
Symposium on Dependable Software Engineering Theories, Tools and Applications
|
|
EXPRESS/SOS 2020
Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
|
|
CONISOFT 2020
8th International Conference on Software Engineering Research and Innovation
|
