Faster and More Complete Extended Static Checking for the Java Modeling Language

Overview of attention for article published in Journal of Automated Reasoning, June 2009

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#14 of 136)

Mentioned by

wikipedia: 1 Wikipedia page

Citations

dimensions_citation: 5 Dimensions

Readers on

mendeley: 7 Mendeley

Summary Wikipedia Dimensions citations

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

5

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

Program Checking with Less Hassle

Book chapter (January 2014)

A Lightweight Technique for Distributed and Incremental Program Verification

Book chapter (January 2012)

Heaps and Data Structures: A Challenge for Automated Provers

Book chapter (January 2011)