Erakusten
1 - 1
emaitzak --
1
Joan edukira
Welcome to University of UNSW, Bengaluru
Home
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Sign In
Eremu guztiak
Izenburua
Egilea
Gaia
Sailkapena
ISBN/ISSN
Etiketa
Bilatu
Aurreratua
Egilea
Wasserrab, Daniel
Bilaketaren emaitzak - Wasserrab, Daniel
Erakusten
1 - 1
emaitzak --
1
Findu emaitzak
Antolatu
Garrantzia
Berrienatik atzera
Zaharrenetik aurrera
Sailkapena
Egilea
Izenburua
Beste batzuk
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
nork
Wasserrab, Daniel
Argitaratua 2021
Testu osoa
Online
Erregistro beregaina
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak:
RSS
Emaitzak posta elektronikoz bidali
Antzeko gaiak
Formal Semantics
Language Based Security
Modularity
QA75.5-76.95
Slicing
Theorem Proving
bic Book Industry Communication::U Computing & information technology::UY Computer science