Non-linear loop invariant generation using Gröbner bases.
Conference Proceeding
Overview
publication date
- January 1, 2004
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Sankaranarayanan S; Sipma H; Manna Z
Full Editor List
- Jones ND; Leroy X
author count
- 3
Other Profiles
International Standard Book Number (ISBN) 10
- 1-58113-729-X
Additional Document Info
start page
- 318
end page
- 329