Scilit logo
  • Rankings
  • Search Publications
    Cited-By Search
  • Sources
  • Publishers
  • Scholars
    Top Cited Scholars
  • Organizations
  • About
Register
  1. Home
  2. Publications
  3. Theoretical Aspects of Computer Software
  1. Home
  2. Publications
  3. Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

Publisher Website
Google Scholar
  • 1 January 1997
    • book
    • Published by Springer Nature
    • https://doi.org/10.1007/bfb0014544
Abstract
No abstract available
Keywords
  • ACTION CALCULI
  • CALCULUS
  • LAMBDA CALCULUS
  • LOGIC
  • MODEL CHECKING
  • OBJECT
  • POLYMORPHISM
  • PROGRAM REFINEMENT
  • PROGRAM SEMANTICS
  • PROGRAMMING
  • REAL-TIME
  • SECURITY
  • SEMANTICS
  • SETS
  • TYPE THEORY

This publication has 0 references indexed in Scilit:

Scilit logo

Have questions? Email us at support@scilit.com

© 2025 Scilit is subsidized by MDPI.

MDPI initiatives

  • MDPI Journals
  • MDPI Books
  • Sciforum
  • Proceedings Series
  • Preprints.org
  • SciProfiles
  • Encyclopedia
  • JAMS

Legal

  • Privacy
  • Terms
  • About
  • Contact
  • Disclaimer

Follow us

  • facebook icon
  • x icon
  • linkedin icon

Join us

  • Career

© 2025 Scilit is subsidized by MDPI.