Fixed points of increasing functions
✍
C.A.R. Hoare
📂
Article
📅
1990
🏛
Elsevier Science
🌐
English
⚖ 160 KB