Yirmiuc / spin

formal software verification tool



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz spin 6.4.9+dfsg-1
yirmibir spin 6.5.2+dfsg-1