Computer programs - Congresses. - Testing

Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings / by: (Language materials, printed)

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computer programs- Testing

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer programs- Verification