skip to main content
chapter

The Verified Software Initiative: A Manifesto

Published: 02 October 2021 Publication History
First page of PDF

Cited By

View all
  • (2022)A Review on the Mechanism Mitigating and Eliminating Internet Crimes using Modern TechnologiesWasit Journal of Computer and Mathematics Science10.31185/wjcm.481:3(50-68)Online publication date: 30-Sep-2022

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Books
Theories of Programming: The Life and Works of Tony Hoare
October 2021
450 pages
ISBN:9781450387286
DOI:10.1145/3477355

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 October 2021

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Chapter

Appears in

ACM Books

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)14
  • Downloads (Last 6 weeks)10
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2022)A Review on the Mechanism Mitigating and Eliminating Internet Crimes using Modern TechnologiesWasit Journal of Computer and Mathematics Science10.31185/wjcm.481:3(50-68)Online publication date: 30-Sep-2022

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media