Cancer treatment planning: formal methods to the rescue.

Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte

Browse the full ICSE paper archive.