Gheyi, Rohit2019-08-192024-04-222019-08-192024-04-222012978-3-642-33296-8https://drs.ess.gov.et/handle/12345678/78691enApplicationsFormal Methods: Foundations and ApplicationsBook