Report copyright - An Axiomatic Proof Technique for Parallel Programs (S. Owicki und D. Gries) Hendrik Pfeiffer Betreuerin: Prof. Dr. Heike Wehrheim Proseminar Assertions
Please pass captcha verification before submit form
Please pass captcha verification before submit form