International Conference on Verification, Model Checking, and Abstract Interpretation provides a forum for researchers from the communities of .. Read more Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
- Share your Experience
POPLUSA 5 Total Events / 2 Upcoming Events
More Events From The Organizer
- International Symposium on Pra..17 - 22 Jan 2021Copenhagen