Travelled to:
1 × Finland
Collaborated with:
J.M.Burgos J.Galve J.J.Moreno S.Muñoz D.Villén
Talks about:
abstract (1) specif (1) design (1) solut (1) refin (1)
Person: J. García
DBLP: Garc=iacute=a:J=
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.