skip to main content
article
Free access

Two dogmas of program specification

Published: 01 August 1985 Publication History
First page of PDF

Reference

[1]
McLean, J. A. formal method for the abstract specification of software. Journal of the ACM 31 (1984), 600-627.

Cited By

View all
  • (2000)CsI(Tl)-calorimeter calibration with positive-kaon decay productsInstruments and Experimental Techniques10.1007/BF0275906643:5(589-596)Online publication date: Sep-2000

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 10, Issue 4
Proceedings of VERkshop III -- a formal verification workshop
August 1985
135 pages
ISSN:0163-5948
DOI:10.1145/1012497
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1985
Published in SIGSOFT Volume 10, Issue 4

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)20
  • Downloads (Last 6 weeks)6
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2000)CsI(Tl)-calorimeter calibration with positive-kaon decay productsInstruments and Experimental Techniques10.1007/BF0275906643:5(589-596)Online publication date: Sep-2000

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media