Search

Your search keyword '"Qian, Jiaqi"' showing total 1 results

Search Constraints

Start Over You searched for: Author "Qian, Jiaqi" Remove constraint Author: "Qian, Jiaqi" Publication Type eBooks Remove constraint Publication Type: eBooks
1 results on '"Qian, Jiaqi"'

Search Results

1. KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs

Catalog

Books, media, physical & digital resources