Model Checking Software

Overview of attention for book

Springer International Publishing

Altmetric Badge

Book Overview

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 1 X user

Summary X

So far, Altmetric has seen 1 X post from an account with 90 followers.

Excited to share our new paper "The Marriage Between #Safety and #Cybersecurity: Still Practicing" appearing in LNCS book series after @m_stoelinga's talk at #SPIN2021, the International Symposium on Model Checking Software. A short thread with details:

06 Aug 2021

Reply Repost Favourite

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

Click here to find out how to access more activity.

Model Checking Software

Table of Contents

Mentioned by