(Q3529592)
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
publication date الإنجليزية
title الإنجليزية
Viper: A Verification Infrastructure for Permission-Based Reasoning (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
author الإنجليزية
based on الإنجليزية
official website الإنجليزية
copyright license الإنجليزية
copyright status الإنجليزية