References
C.B. Jones, The search for tractable ways of reasoning about programs, Technical Report UMCS-92-4-4, Dept. of Computer Science, University of Manchester, 1992.
Rights and permissions
About this article
Cite this article
de Boer, F.S., Olderog, E.R., Ponse, A. et al. Editorial. Formal Aspects of Computing 6 (Suppl 1), 741–742 (1994). https://doi.org/10.1007/BF01213600
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01213600