posted by user: garganti || 2128 views || tracked by 1 users: [display]

ABZ 2023 : Abstract State Machines, Alloy, B and Z

FacebookTwitterLinkedInGoogle


Conference Series : Abstract State Machines, Alloy, B and Z
 
Link: https://abz2023.loria.fr/
 
When May 30, 2023 - Jun 2, 2023
Where Nancy, France
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

CIMA 2025   Congress on Intelligent Machines and Algorithms
VMCAI 2026   Verification, Model Checking and Abstract Interpretation
VMIL 2025   2025 Workshop on Virtual Machines and Language Implementations
LM 2025   Living Machines 2025: The 14th International Conference on Biomimetics and Biohybrid Systems
eHPWAS 2025   eHPWAS 2025 : WiMob - eHPWAS’25 - e-Health Pervasive Wireless Applications and Services - Rank B
ISPM 2025   The 13th International Symposium on Project Management (ISPM 2025)
EBSULING 2025   Third International Hybrid Interdisciplinary Conference on Language, Technoscience, Security, and Socioeconomic Development
A-SSCC 2025   IEEE Asian Solid-State Circuits Conference
11ICSSM 2025   Call for Abstract: ISA RC33 Eleventh International Conference on Social Science Methodology, Naples, Italy, September 2025
SSDBM 2025   37th International Conference on Scalable Scientific Data Management