Write a Blog >>

Not registered as user yet

Name:Himaja Cherukuri
Country:United States
Affiliation:Kennesaw State University

Contributions

REFSQ 2022 Towards Explainable Formal Methods: from LTL to Natural Language with Neural Machine Translation
Show activities from other conferences

REFSQ 2022-profile
View general profile