Formal Methods in Computer-Aided Design

Overview of attention for book

Cover of 'Formal Methods in Computer-Aided Design'

Table of Contents

Attention for Chapter 17: VIS

Altmetric Badge

Citations

dimensions_citation: 3 Dimensions

Readers on

mendeley: 1 Mendeley

Summary Dimensions citations

So far, Dimensions has found 3 publications that cite this research output.

3

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

Understanding binary-Goppa decoding

Article (April 2024)

Floating point verification in HOL light: The exponential function

Book chapter (January 1997)

Mechanized formal methods: Progress and prospects

Book chapter (January 1996)

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

Click here to find out how to access more activity.