Schellhorn, Gerhard
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
Compositional Verification of a Lock-Free Stack with RGITL
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST