Yirmibir / alt-ergo

Automatic theorem prover dedicated to program verification



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz alt-ergo 2.0.0-3