Clarke, Edmund.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Verification of infinite-state systems with applications to security by: Clarke, Edmund.; Minea, Marius.; �Tiplea, Ferucio Lauren�tiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security ((2005 March 17-22 :) (Language materials, printed)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: Clarke, Edmund.; Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Software Engineering. Systems engineering Logics and Meanings of Programs. Programming Techniques. Algorithm Analysis and Problem Complexity. Computer software- Verification. Programming Languages, Compilers, Interpreters. System theory- Mathematical models Computer security System theory- Security measures Computer science Computer Imaging, Vision, Pattern Recognition and Graphics. Computer Science.