Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /

Bibliographic Details
Corporate Authors:	ATVA (Symposium) Taipei, Taiwan), SpringerLink (Online service)
Other Authors:	Peled, Doron A., 1962-, Tsay, Yih-Kuen, 1962-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2005.
Series:	Lecture notes in computer science. 3707.
Subjects:	Automatic theorem proving > Congresses. Calculs numériques > Vérification > Informatique > Congrès. Logiciels > Vérification > Congrès. Théorèmes > Démonstration automatique > Congrès. Calcul numérique. Démonstration automatique de théorèmes. Model-checking (Informatique) Vérification de logiciels. Vérification formelle. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online