- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Chen, Yu-Fang

Showing 1 - 2 of 2 results

Search Results

Cover image for Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

by Chen, Yu-Fang
2026
1st ed.
Format: Electronic

Location
Access Content Online

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

by Chen, Yu-Fang
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online