Ondokuz / spin

formal software verification tool

•     Tom Lee
•     [email protected]
•     http://spinroot.com
•     6.4.9+dfsg-1
•     spin_6.4.9+dfsg-1_amd64.deb
•     393.9 KiB
•     devel
•     amd64
•      spin_6.4.9+dfsg-1.debian.tar.xz
            spin_6.4.9+dfsg-1.dsc
            spin_6.4.9+dfsg.orig.tar.xz
•     Debian Versiyonu: 6.4.9+dfsg-1
•     formal software verification tool

Diğer Pardus sürümlerindeki versiyonlar