Database and Expert Systems Applications
2011년
Logic, Computation and Rigorous Methods
2021년
Model and Data Engineering
2019년
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
2016년
New Trends in Databases and Information Systems
2016년
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016년