Cover Image
Read Now

1
by Owe, Olaf
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

3
Published 2011
Springer Berlin Heidelberg
“... carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal methods...”
Cover Image
Read Now

4
by Luckham, David C., Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Owe, Olaf
Published 1987
Springer Berlin Heidelberg
“... established formal methods of specification and documentation can be applied to ADA programs. The current ANNA...”