Travelled to:
1 × Denmark
Collaborated with:
∅
Talks about:
softwar (1) environ (1) develop (1) method (1) formal (1) space (1)
Person: P. Taylor
DBLP: Taylor:P=
Contributed to:
Wrote 1 papers:
- AdaEurope-1994-Taylor #development #formal method
- Formal Methods for a Space Software Development Environment (PT), pp. 90–103.