Maty Sylla

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Maty Sylla, Frank A. Stomp, Willem P. de Roever
Verifying Parameterized Refinement. ICECCS (2005)