Knowledge Tree

researcher / Fu Song

Fu Song

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

On pushdown systems model checking : application to malware detection and software model-checking