Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
Certification using the Mobius base logic
Lennart Beringer
, Martin Hofmann
, Mariela Pavlova
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
4
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Certification using the Mobius base logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Logic Programming
100%
Code Property
100%
Security Policy
100%
Operational Model
100%
Core Component
100%
Resource Consumption
100%
Resource Access
100%
Keyphrases
Möbius Function
100%
Engineering
Proof Rule
100%