Carregant...
Carregant...

Vés al contingut (premeu Retorn)

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

Autor
Rodriguez, E.; Deepak, K.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2004-08
Volum
3148
Pàgina inicial
280
Pàgina final
295
URL
http://springerlink.metapress.com/(qzjdma55bizdr355u4yuom55)/app/home/contribution.asp?referrer=parent&backto=issue,21,27;journal,633,2296;linkingpublicationresults,1:105633,1 Obrir en finestra nova
Grup de recerca
LOGPROG - Lògica i Programació

Participants