APA-ийн эшлэл(7 дахь хэвлэлт)
Wasserrab, D. (2021). From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Wasserrab, Daniel. From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing, 2021.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Wasserrab, Daniel. From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing, 2021.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.