Database and Expert Systems Applications
٢٠١١
Logic, Computation and Rigorous Methods
٢٠٢١
Model and Data Engineering
٢٠١٩
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
٢٠١٦
New Trends in Databases and Information Systems
٢٠١٦
Abstract State Machines, Alloy, B, TLA, VDM, and Z
٢٠١٦