Program Verification

Overview of attention for book

Attention for Chapter 11: Outline of a Paradigm Change in Software Engineering

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 1 X users, with an upper bound of 9,676 followers.

@stevekrouse @UniKentComp This one https://t.co/28iaowe4OA but it's behind a paywall. DM me for PDF if you're interested.

@TotherAlistair @YassineMhz @malk_zameth @ncraftsConf Christiane Floyd! The paper is https://t.co/28iaowe4OA. A bit hard to get a copy, but I'm happy to DM PDF.

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.