Statistics
Publications
1
Citations
19
H-Index
1
Active since
1984
Affiliations
The University of Osaka(Current)
Yuji Sugiyama is an author at The University of Osaka specializing in formal property specification, program verification, and formal methods.
Publications per year
1984–1984
1
1
1–1 of 1