Syntactic-semantic incrementality for agile verification
- 期刊名称Science of Computer Programming
- 作者Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino
- 卷第97卷
- 印刷ISSN0167-6423
- 文件大小493.26KB
- 发表时间2015-01
- DOI10.1016/j.scico.2013.11.026
- 页码47-54
Interventional radiologyHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012
Regional PACS and Radiation DoseHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012
Teleradiology and eLearningHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012
Minimally invasive spinal surgeryHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012
Special session on brain CADHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012
Computer tomographyHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012
Magnetic resonanceHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012
Innovative methodologies for PACSHagman, J. · International Journal of Computer Assisted Radiology and Surgery · 2012