Dynamic slicing of concurrent specification languages

Llorens Agost María Luisa, Oliver Villarroya Francisco Javier, Silva Galiana Josep Francesc, Tamarit Muñoz Salvador

2016

Parallel Computing