Embedding the refinement calculus in Coq
- 期刊名称Science of Computer Programming
- 作者Alpuim, João; Swierstra, Wouter
- 印刷ISSN0167-6423
- 文件大小620.92KB
- 发表时间2017-5
- DOI10.1016/j.scico.2017.04.003
Human papillomaviruses and cancerHaedicke, Juliane; Iftner, Thomas · Radiotherapy and Oncology · 2013
PATIENT SAFETY CHART RADIATION ONCOLOGYWarmerdam, A.; Neelis, K. · Radiotherapy and Oncology · 2009
QA of treatment planning systemsLevernes, Sverre · Radiotherapy and Oncology · 1995
Subject indexSefton, Michael V.; Broughton, Richard L. · Radiotherapy and Oncology · 1995
Volume contentsMaroy, B.; Moullot, Ph. · Radiotherapy and Oncology · 1995
General informationFriedman, Joseph S.; Peters, John A.; Memik, Gokhan; Wessels, Bruce W.; Sahakian, Alan V. · Radiotherapy and Oncology · 1995
Editorial BoardThellier, D.; Moos, F.; Richard, Ph.; Stoeckel, M.E. · Radiotherapy and Oncology · 1991
CoursesMoral, L.; Marco, N.; Fuentes, M.J.; Toral, T.; Caño, R.; Pena, M.A. · Radiotherapy and Oncology · 1993