Pascal and Francis Bibliographic Databases

Help

Export

Selection :

Permanent link
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19872214

Automated technology for verification and analysis (4th International symposium, ATVA 2006, Beijing, China, October 23-26, 2006)

Author
Graf, Susanne (Editor) ; Zhang, Wenhui (Editor)
Conference name
International Symposium on Automated Technology for Verification and Analysis (4 ; Beijing 2006)
Source

Lecture notes in computer science. 2006 ; 1Vol ; XIV-540 p ; Illustration ; ref : Notes bibliogr. Index

ISSN
0302-9743
ISBN
3-540-47237-1
Scientific domain
Computer science
Publisher
Springer, Berlin / Springer, Heidelberg / Springer, New York
Publication country
Germany
Document type
Conference Proceedings
Language
English
Keyword (fr)
Vérification programme
Keyword (en)
Program verification
Keyword (es)
Verificación programa
Classification
Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02B Software / 001D02B09 Software engineering

Discipline
Computer science : theoretical automation and systems
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
19872214

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Searching the Web