Verifying Parameterized Refinement.

Maty Sylla, Frank A. Stomp, Willem P. de Roever

Browse the full ICECCS paper archive.