Search
Springer
Proving behavioral refinements of col-specifications
Vol. 4060
Michel Bidoit, Rolf Hennicker
Volume
Title
Author