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

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 10 From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
  3. Altmetric Badge
    Chapter 20 Progress on Software Verification: SV-COMP 2022
Attention for Chapter 20: Progress on Software Verification: SV-COMP 2022
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
4 Mendeley
Summary Wikipedia
So far, Altmetric has seen 1 Wikipedia article.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.