Alromema, Nashwan Ahmed, Mohd Shafry Mohd Rahim, and Ibrahim Albidewi. 2016. “Temporal Database Models Validation and Verification Using Mapping Methodology”. VFAST Transactions on Software Engineering 4 (1):90-101. https://doi.org/10.21015/vtse.v11i2.445.