↓ Skip to main content
What is this page? Embed badge

Larch: Languages and Tools for Formal Specification

Overview of attention for book
Cover of 'Larch: Languages and Tools for Formal Specification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Specifications in Program Development
  3. Altmetric Badge
    Chapter 2 A Little Bit of Logic
  4. Altmetric Badge
    Chapter 3 An Introduction to Larch
  5. Altmetric Badge
    Chapter 4 LSL: The Larch Shared Language
  6. Altmetric Badge
    Chapter 5 LCL: A Larch Interface Language for C
  7. Altmetric Badge
    Chapter 6 LM3: A Larch Interface Language for Modula-3
  8. Altmetric Badge
    Chapter 7 Using LP to Debug LSL Specifications
  9. Altmetric Badge
    Chapter 8 Conclusion
Attention for Chapter 1: Specifications in Program Development
Altmetric Badge

Citations

dimensions_citation
352 Dimensions
Summary Dimensions citations
So far, Dimensions has found 352 publications that cite this research output.

352

The most recent citing publications are shown below. View all 352 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.