9789310200656
Samiksha Chakraborty
Mahima Publications
English
Computer and IT: Science and Engineering - Computer and IT: Science and Engineering
2017
11235.00
Formal End-to-End Verification of Information-Flow Security for Complex Systems
