(Q3529592)

بيانات

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

٠ مرجع

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

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

١ مراجع

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

لغة برمجة

١ مراجع

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

publication date ^{الإنجليزية}

2016^{http://data.marefa.org/entity/Q1985727}

١ مراجع

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

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

Viper: A Verification Infrastructure for Permission-Based Reasoning (الإنجليزية)

١ مراجع

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

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

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

١ مراجع

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

Alexander J. Summers ^{الإنجليزية}

١ مراجع

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

Malte Schwerhoff ^{الإنجليزية}

١ مراجع

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

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

Separation Logic and Abstraction ^{الإنجليزية}

١ مراجع

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

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

https://viper.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 ^{الإنجليزية}

وصلات الموقع

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

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

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