Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /

QR Code

Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /

Bibliographic Details
Format:	Book
Published:	c2009.
Online Access:	Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de Universidad de Costa Rica

Holdings details from Sistema de Bibliotecas de Universidad de Costa Rica
Copy	Available