Nelson Billing

According to our database, Nelson Billing authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Concerned with the unprivileged: user programs in kernel refinement.

Matthias Daum, Nelson Billing, Gerwin Klein

Formal Aspects Comput., 2014