TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)

por Jaffar, Joxan, Maghareh, Rasool, Godboley, Sangharatna, Ha, Xuan-Linh
Publicado 2020

Experimental Design, Equilibrium Modeling and Kinetic Studies on the Adsorption of Methylene Blue by Adsorbent: Activated Carbon from Durian Shell Waste

por Tran, Quoc Toan, Đo, Tra Huong, Ha, Xuan Linh, Duong, Thi Tu Anh, Chu, Manh Nhuong, Vu, Van Nhuong, Chau, Hung Dung, Tran, Thi Kim Ngan, Song, Phomthavongsy
Publicado 2022