Rickard A. Åberg, Julia Lawall, Mario Südholt, Gilles Muller, Anne Françoise Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP.
18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003, Montréal, Canada, Canada. pp.196-204.
⟨hal-00457197⟩