Old Web
English
Sign In
Acemap
>
Paper
>
Transfer Function Generation for Model Abstraction Using Static Analysis
Transfer Function Generation for Model Abstraction Using Static Analysis
2017
Vinay G. Vaidya
Ramesh S
Venkatesh Kareti
K P Smitha
Priti Ranadive
Keywords:
Theoretical computer science
Transfer function
Abstraction
Static analysis
Computer science
Computational science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
4
References
0
Citations
NaN
KQI
[]