VIAP - Automated System for Verifying Integer Assignment Programs with Loops | IEEE Conference Publication | IEEE Xplore