Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
Symbolic testing of floating-point bugs and exceptions
Hits:
Journal:JOURNAL OF SYSTEMS AND SOFTWARE
Indexed by:期刊
Document Code:6720eb0a0192103095837d54
Volume:219
ISSN No.:0164-1212
Translation or Not:no
Date of Publication:2025-01-01
Opening Time:..
The Last Update Time: ..
