David Castro

Publication Activity (10 Years)

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

Publications

David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas
A Case Study on Verifying a Supervisor Component Using McErlang. Electron. Notes Theor. Comput. Sci. 271 (2011)