Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Program Verification Using Automatic Generation of Invariants

Autor
Rodriguez, E.; Deepak, K.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2004-12
Volum
3407
Pàgina inicial
325
Pàgina final
340
URL
http://www.springerlink.com/(smnxza55e3fyqkbjzb40qq55)/app/home/contribution.asp?referrer=parent&backto=issue,24,39;journal,374,2293;linkingpublicationresults,1:105633,1 Obrir en finestra nova
Grup de recerca
LOGPROG - Lògica i Programació

Participants