Janos L. Mathe, Janos Sztipanovits, Mia Levy, Ethan K. Jackson, Wolfram Schulte. Cancer treatment planning: formal methods to the rescue. In Ruth Breu, John Hatcliff, editors, Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012. pages 19-25, IEEE, 2012. [doi]
Abstract is missing.