Li-on Raviv
Weizmann Institute of Science(IL)
Publications by Year
Research Areas
Formal Methods in Verification, Synthetic Organic Chemistry Methods, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques
Formal Methods in Verification, Synthetic Organic Chemistry Methods, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques