Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene. Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Dagstuhl Reports, 3(9):74-105, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.