×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of rosamund-appenzeller
An Axiomatic Proof Technique for Parallel Programs (S. Owicki und D. Gries) Hendrik Pfeiffer Betreuerin: Prof. Dr. Heike Wehrheim Proseminar Assertions.
103 views