Computing Polynomial Program Invariants (2003)

by Markus Müller-Olm , Helmut Seidl
Citations:23 - 1 self