On the automatic evolution of an OS kernel using temporal logic and AOP (2003)

Cached

Download Links

by Rickard A. ˚aberg , Julia L. Lawall , Gilles Muller , Anne-françoise Le Meur Y
Venue:In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003
Citations:19 - 8 self