Cancer treatment planning: formal methods to the rescue

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]

Authors

Janos L. Mathe

This author has not been identified. Look up 'Janos L. Mathe' in Google

Janos Sztipanovits

This author has not been identified. It may be one of the following persons: Look up 'Janos Sztipanovits' in Google

Mia Levy

This author has not been identified. Look up 'Mia Levy' in Google

Ethan K. Jackson

This author has not been identified. Look up 'Ethan K. Jackson' in Google

Wolfram Schulte

This author has not been identified. It may be one of the following persons: Look up 'Wolfram Schulte' in Google