Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Uwe Glässer' in GoogleThis author has not been identified. Look up 'Stefan Hallerstede' in GoogleThis author has not been identified. It may be one of the following persons:

Michael Leuschel

Look up 'Michael Leuschel' in GoogleThis author has not been identified. Look up 'Elvinia Riccobene' in Google

runs on WebDSL