Carine Pascal

Publication Activity (10 Years)

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

Publications

Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler
Decomposition tool for event-B. Softw. Pract. Exp. 41 (2) (2011)