Computer programs - Correctness.

Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: (Language materials, printed)

Mathematical Logic and Formal Languages.

Software Engineering.

Computer programs- Correctness.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Programming Languages, Compilers, Interpreters.

Parallel programming (Computer science)

Computer science.

Computer Science.