Travelled to:
1 × USA
Collaborated with:
N.Lévy
Talks about:
construct (1) independ (1) approach (1) languag (1) specif (1)
Person: G. Smith
DBLP: Smith:G=
Contributed to:
Wrote 1 papers:
- FSE-1994-LevyS #approach #independence #specification
- A Language-Independent Approach to Specification Construction (NL, GS), pp. 76–86.