Lecture notes ``Predicate transformers''(Draft)
Published in Texas Digital Library (University of Texas) • Nov 1, 1982
NobleIDNI4P86W93R43S51
Authors:
Edsger Wybe Dijkstra
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!