![](/img/cover-not-exists.png)
[IEEE 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - Syracuse, NY, USA (1980.10.13-1980.10.15)] 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra
Jones, Neil D., Muchnick, Steven S.Year:
1980
Language:
english
DOI:
10.1109/sfcs.1980.16
File:
PDF, 642 KB
english, 1980