Publisher
Springer Berlin Heidelberg
Reference77 articles.
1. J. R. Abrial. The B-Book: Assigning programs to meanings. Cambridge University Press, 1996.
2. P. Aczel. A note on program verication. manuscript, January 1982.
3. C. D. Allen, D. N. Chapman, and C. B. Jones. A formal denition of ALGOL 60. Technical Report 12.105, IBM Laboratory Hursley, August 1972.
4. D. Andrews and W. Henhapl. Pascal. In [13], pages 175–252. 1982.
5. E. Astesiano, H. J. Kreowski, and B. Krieg-Brueckner, editors. Algebraic Foundations of System Specication. Springer Verlag, 1999.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献