TitleAssertion-based Loop Invariant Generation
Publication TypeWorkshop Paper
Year of Publication2007
AuthorsJanota M
URLhttps://sharepoint.lero.ie/Publications/2007/Conferences/2007-Conference-Janota-Assertion-based%20Loop%20Invariant%20Generation.pdf