VerifyThis 2012

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, August 2015

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#17 of 111)
Above-average Attention Score compared to outputs of the same age (57th percentile)
Average Attention Score compared to outputs of the same age and source

Mentioned by

wikipedia: 2 Wikipedia pages

Citations

dimensions_citation: 27 Dimensions

Readers on

mendeley: 2 Mendeley

Summary Wikipedia Dimensions citations

So far, Altmetric has seen 2 citations on 2 Wikipedia pages.

Spanish

Dafny

Cited by user Rafaeher on 03 Jan 2019

Dafny es un lenguaje compilado imperativo enfocado a C# y permite especificación formal a través de precondiciones, postcondiciones, invariantes de bucles y variantes de…

English

Dafny (programming language)

Cited by user Redjamjar on 21 Dec 2017

Dafny is an imperative compiled language that targets C# and supports formal specification through preconditions, postconditions, loop invariants and loop variants.