Behaviour Analysis and Safety Conditions: A Case Study in CML.

Hanne Riis Nielson, Torben Amtoft, Flemming Nielson

Browse the full FASE paper archive.