Resultados de Procura por Autor

1

Automated technology for verification and analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /

Automated technology for verification and analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /

por ATVA (Simpósio), Cha, Sungdeok.
Publicado c2008

Ligazón do recurso

Livro

2

Automated technology for verification and analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, proceedings /

Automated technology for verification and analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, proceedings /

por ATVA (Simpósio), Chakraborty, Supratik., Mukund, Madhavan.
Publicado 2012.

Ligazón do recurso

Livro

Cannot write session to /tmp/vufind_sessions/sess_5gqhbpdji473jsv6qdccqju0ug