Aaltonen, Timo

name

• Aaltonen, Timo

Authored works

• Demography of Linux Kernel developers
• Validating correctness with behavioural abstractions
• Verifying safety by combining joint actions with a process-algebraic approach

Works contributed to

• Proceedings of the First International Workshop on Building Sustainable Open Source Communities (June 6, 2009, Skövde, Sweden)

Works about Aaltonen, Timo