Read news on program logic with our app.
Read more in the app
A program logic for obstruction-freedom - EurekAlert
