Viper الإنجليزية (Q3529592)
Programming Language and Verification Infrastructure الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Viper |
Programming Language and Verification Infrastructure |
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
publication date الإنجليزية
title الإنجليزية
Viper: A Verification Infrastructure for Permission-Based Reasoning (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
author الإنجليزية
based on الإنجليزية
official website الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
copyright license الإنجليزية
copyright status الإنجليزية