Editorial

Abstract

No abstract available.

References

1. [Jon92] 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.

Index Terms

• General and reference

• Networks

• Social and professional topics

  • Professional topics

• Software and its engineering

  • Software organization and properties

    • Contextual software domains

      • Operating systems