Luke Sy, PhD Candidate
Luke Sy, PhD Candidate
Home
Posts
All Posts
By tags
Projects
Academic
All Projects
Publications
Talks
Resume
Contact
Araki Dai
Latest
Specification Extraction Method and Program (Extraction from Source Code)
Specification Extraction Method and Program (Transition Diagram Simplification)
Verification System, Method, and Program (Decision Table Generation from Source Code)
Cite
×