System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge.

Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke, Dirk Salecker

Browse the full FlAIRS paper archive.