Using fixed-point semantics to prove ret
✍
Stephen Brookes
📂
Article
📅
1993
🏛
Springer
🌐
English
⚖ 978 KB