Maintaining Formal Models of Living Guidelines Efficiently.

Andreas Seyfang, Begoa Martnez-Salvador, Radu Serban, Jolanda Wittenberg, Silvia Miksch, Mar Marcos, Annette ten Teije, Kitty Rosenbrand

Browse the full AIME paper archive.