Fundamental Approaches to Software Engineering

Overview of attention for book

Springer Nature Switzerland

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 9 X posts from 9 X users, with an upper bound of 8,380 followers.

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

RT @SecoperaP: Can LLM help formal software verification? Researchers from Oldenburg University present their work on using ChatGPT to gene…

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

Click here to find out how to access more activity, including 5 additional X posts.