Suchergebnisse - 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-

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-

Recursive program schemes: semantics and proof theory

von Roever, Willem-Paul de 1943-

Inhaltsverzeichnis

Specifying fault tolerance within Stark's formalism

von Cau, Antonio, Roever, Willem-Paul de 1943-

An introduction to compositional methods for concurrency and their application to real time

von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

Verification and specification of concurrent programs

von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

A compositional axiomatization of statecharts

von Hooman, Jozef J. M., Ramesh, S., 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

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-

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-

A calculus for recursive program schemes

von Bakker, Jacobus W. de 1939-2012, Roever, Willem-Paul de 1943-

Foundations of computer science: leaving the ivory tower

von Roever, Willem-Paul de 1943-

Dykstra's predicate transformer, non-determinism, recursion, and termination

von Roever, Willem-Paul de 1943-