European Society
for Phenomenology

Repository | Directory | Profile

150046

Rolf Hennicker

Bibliography ¹

Proving behavioral refinements of col-specifications

2006

Michel Bidoit Rolf Hennicker

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009