NASA Formal Methods 2023 (series) / Satoshi Munakata
Registered user since Fri 7 Apr 2023
Name:Satoshi Munakata
Country:Japan
Affiliation:Fujitsu
Research interests:Software Engineering, Machine Learning, Formal Method
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile