Canyam
AI summaries for academic research
Home
Literature Help
Subscribe
Favorites
Tools
Analysis
Summary
Patents
Not logged in
Back
L
LeMetayer, D
Affiliation pending
0
H-index
1
Paper Count
0
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Structural operational semantics as a basis for static program analysis
ACM COMPUTING SURVEYS
IF
28
1996-06-01
3
OA
AI
LeMetayer, D; Schmidt, D
Share
Save
Research Directions
The data has not been retrieved yet.
Co-authors
Cooperation Journals
D
David Schmidt
H-index: 21 · Papers: 143
All loaded