Fundamental Approaches to Software Engineering

Overview of attention for book

Springer Nature Switzerland

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 5 Formal Specification of Trusted Execution Environment APIs
Altmetric Badge

Chapter 13 Can ChatGPT support software verification?

Attention for Chapter 5: Formal Specification of Trusted Execution Environment APIs

Altmetric Badge

Mentioned by

twitter: 2 X users

Summary X

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 3,084 followers.

RT @KuniSuzaki: Paper Formal Specification of Trusted Execution Environment APIs [Fundamental Approaches to Software Engineering (FASE24)]…

13 Apr 2024

Reply Repost Favourite

Paper Formal Specification of Trusted Execution Environment APIs [Fundamental Approaches to Software Engineering (FASE24)] https://t.co/oOUo40TtXr ARM TrustZoneのMQT-TZのAPIを形式検証 https://t.co/eKLXYuIVlH

13 Apr 2024

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.

Fundamental Approaches to Software Engineering

Table of Contents

Mentioned by