Yvonne Howard
Publication Activity (10 Years)
Years Active: 2003-2017
Publications (10 Years): 2
Publications (10 Years): 2
Publications
- Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos AugustoModel-Based Trace-Checking CoRR (2011)