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]
@inproceedings{MatheSLJS12,
title = {Cancer treatment planning: formal methods to the rescue},
author = {Janos L. Mathe and Janos Sztipanovits and Mia Levy and Ethan K. Jackson and Wolfram Schulte},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2667040},
researchr = {https://researchr.org/publication/MatheSLJS12},
cites = {0},
citedby = {0},
pages = {19-25},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012},
editor = {Ruth Breu and John Hatcliff},
publisher = {IEEE},
isbn = {978-1-4673-1843-3},
}