Return to search

Verification of Security Properties Using Formal Techniques

No description available.
Identiferoai:union.ndltd.org:uni-goettingen.de/oai:ediss.uni-goettingen.de:11858/00-1735-0000-0022-5E24-0
Date09 April 2013
CreatorsAl-Shadly, Saleh
ContributorsHogrefe, Dieter Prof. Dr.
Source SetsGeorg-August-Universität Göttingen
LanguageEnglish
Detected LanguageEnglish
TypedoctoralThesis

Page generated in 0.0019 seconds