Travelled to:1 × Finland
Collaborated with:J.M.Burgos J.Galve J.García J.J.Moreno D.Villén
Talks about:abstract (1) specif (1) design (1) solut (1) refin (1)
Person: S. Muñoz
 DBLP: Mu=ntilde=oz:S=
Contributed to:
Wrote 1 papers:
- ITiCSE-2000-BurgosGGMMV #design #refinement #specification
 - Abstract solution design by specification refinement (JMB, JG, JG, JJM, SM, DV), p. 186.
 












