Hui Wang

1PUBLICATIONS
5CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Aug 30, 2023
Software-based screening for efficient sgRNAs in Lactococcus lactis.

Hui Wang, Lianzhong Ai, Yongjun Xia

Pageof 1