የSymbolic Software ሶፍትዌሮች አውርድ

በካታሎጉ ውስጥ 1 የSymbolic Software የWindows ፕሮግራም አለ። በቅርቡ የተዘመነው፦ Verifpal 1.6.6። · symbolic.software