ABZ 2024
Abstract State Machines, Alloy, B and Z
|
RTME 2024
9th International Conference on Recent Trends in Mechanical Engineering
|
ITNG 2024
The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
|
BIOTC--EI 2024
2024 6th Blockchain and Internet of Things Conference (BIOTC 2024)
|
VSTTE 2023
International Conference on Verified Software: Theories, Tools, and Experiments
|
CGDEIJ 2023
Computer Game Development and Education: An International Journal
|
AVC 2023
Advances in Vision Computing: An International Journal
|
SOFTFM 2023
2nd International Conference on Software Engineering Advances and Formal Methods
|
FMAS 2023
Fifth Workshop on Formal Methods for Autonomous Systems
|