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.












