Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Chin, Wei-Ngan.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings / by: SpringerLink (Online service); Chin, Wei-Ngan.; Congress on Progress and Controversies in Oncological Urology (2000:); Bouajjani, Ahmed. (Electronic resources)

Subjects

Software Engineering. Artificial intelligence Software Engineering/Programming and Operating Systems. Computer Science. Programming Techniques. Automatic theorem proving Computer Communication Networks. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.

Change password

Login