Rely guarantee method for verifying shared variable concurrent programs von Xu, Qiwen, Roever, Willem-Paul de 1943-, He, Jifeng 1943-

A principle for sequential reasoning about distributed algorithms von Stomp, Frank A., Roever, Willem-Paul de 1943-

Foundations of computer science leaving the ivory tower von Roever, Willem-Paul de 1943-

Assertional data reification proofs survey and perspective von Coenen, Jos, Roever, Willem-Paul de 1943-, Zwiers, Job

Fairness assumptions for CSP in a temporal logic framework von Kuiper, R., Roever, Willem-Paul de 1943-

Recursive program schemes semantics and proof theory von Roever, Willem-Paul de 1943-

Inhaltsverzeichnis

A calculus for recursive program schemes von Bakker, Jacobus W. de 1939-2012, Roever, Willem-Paul de 1943-

Data refinement model-oriented proof methods and their comparison von Roever, Willem-Paul de 1943-, Engelhardt, Kai

Principles for sequential reasoning about distributed algorithms von Stomp, Frank A., Roever, Willem-Paul de 1943-

A compositional axiomatization of statecharts von Hooman, Jozef J. M., Ramesh, S., Roever, Willem-Paul de 1943-

A compositional axiomatization of Statecharts von Hooman, J. J., Ramesh, S., Roever, Willem-Paul de 1943-

An introduction to compositional methods for concurrency and their application to real-time von Hooman, Jozef M., Roever, Willem-Paul de 1943-

Program derivation through transformations the evolution of list-copying algorithms von Diepen, N. W. van, Roever, Willem-Paul de 1943-

Recursion and parameter mechanisms an axiomatic approach von Roever, Willem-Paul de 1943-

Specifying fault tolerance within Stark's formalism von Cau, Antonio, Roever, Willem-Paul de 1943-

Assertional data reification proofs survey and perspective von Coenen, Jos, Roever, Willem-Paul de 1943-, Zwiers, Job

An introduction to compositional methods for concurrency and their application to real time von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

Foundations of computer science leaving the ivory tower von Roever, Willem-Paul de 1943-

Verification and specification of concurrent programs von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

Dykstra's predicate transformer, non-determinism, recursion, and termination von Roever, Willem-Paul de 1943-