Azma, A., Hasan, K., Abdulgabber, M. A., Rohani, A. B., & Roslina, A. H. (2018). A tool for capturing safety properties from critical system specifications written in SOFL. American Scientific Publisher.
Chicago Style (17th ed.) CitationAzma, Abdullah, Kahtan Hasan, Mansoor Abdullateef Abdulgabber, Abu Bakar Rohani, and Abd. Hamid Roslina. A Tool for Capturing Safety Properties from Critical System Specifications Written in SOFL. American Scientific Publisher, 2018.
MLA (8th ed.) CitationAzma, Abdullah, et al. A Tool for Capturing Safety Properties from Critical System Specifications Written in SOFL. American Scientific Publisher, 2018.
Warning: These citations may not always be 100% accurate.