-
1
-
2
-
3
-
4
Current status of endoscopic ultrasound for the upper gastrointestinal tract in Asia
Published 2015“…Although EUS alone is limited in the diagnosis of SMT, EUS-guided fine-needle aspiration is an effective and safe diagnostic tool. …”
Article -
5
Formal Verification of the xDAuth Protocol
Published 2016“…We analyze the rules of information flow using Z language, while Z3 SMT solver is used for the verification of the model. …”
Article