Travelled to:
1 × France
Collaborated with:
∅
Talks about:
automobil (1) method (1) formal (1) train (1) plane (1) wild (1)
Person: Asaf Degani
DBLP: Degani:Asaf
Contributed to:
Wrote 1 papers:
- FM-2012-Degani #formal method
- Formal Methods in the Wild: Trains, Planes, & Automobile (AD), p. 6.