Year of Publication : 2021Author: Ahishakiye, F., Jarabo, J. I. R., Pun, V. K. I., & Stolz, VCollege: College of Science and Technology(CST)Research Discipline: SciencesPublication type: ArticlePublisher: SpringerVolume: NAIssue: NAJournal Name: . In Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
