(Q3529594)

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

instance of ^{الإنجليزية}

research project ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

لغة برمجة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

based on ^{الإنجليزية}

Viper ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

source code repository URL ^{الإنجليزية}

https://github.com/viperproject/gobra

web interface software ^{الإنجليزية}

version control system ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

official website ^{الإنجليزية}

https://gobra.ethz.ch

language of work or name ^{الإنجليزية}

اللغة الإنگليزية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

copyright license ^{الإنجليزية}

رخصة موزيلا العمومية، الإصدارة 2٠0

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

copyright status ^{الإنجليزية}

صاحب حقوق التأليف والنشر كرس عمله للملكية العامة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

creator ^{الإنجليزية}

Peter Müller ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Linard Arquint ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

logo image ^{الإنجليزية}

Gobra logo orange positiv.png
٨٨١ × ٣٣٦؛ ٧٩ كيلوبايت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٠ : لا وصلات)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q3529594&oldid=49036875»