|
FM 2024
Formal Methods
|
|
ABZ 2024
Abstract State Machines, Alloy, B and Z
|
|
VSTTE 2023
International Conference on Verified Software: Theories, Tools, and Experiments
|
|
SOFTFM 2023
2nd International Conference on Software Engineering Advances and Formal Methods
|
|
AVC 2023
Advances in Vision Computing: An International Journal
|
|
NLP 2023
12th International Conference on Natural Language Processing
|
|
CGDEIJ 2023
Computer Game Development and Education: An International Journal
|
|
FMAS 2023
Fifth Workshop on Formal Methods for Autonomous Systems
|
|
IJPLA 2023
International Journal of Programming Languages and Applications
|
|
DMS 2023
14th International conference on Database Management Systems
|
