Recent advances in program verification through computer algebra

Detalles Bibliográficos

Publicado en:	Frontiers of Computer Science in China vol. 4, no. 1 (Mar 2010), p. 1
Autor principal:	Yang, Lu
Otros Autores:	Zhou, Chaochen, Zhan, Naijun, Xia, Bican
Publicado:	Springer Nature B.V.
Materias:	Computer algebra Program verification (computers) Nonlinear systems
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!