Add two publications from 2023

ftsrg / ftsrg.github.io

🔴⚫⭕ New, modern website of ftsrg

https://ftsrg.mit.bme.hu/

GNU Affero General Public License v3.0

2 stars 1 forks source link

Closed micskeiz closed 1 year ago

micskeiz commented 1 year ago

Add Assessment of semantics and Pragmatic verification paper to publications

vercel[bot] commented 1 year ago

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
ftsrg-github-io	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jun 29, 2023 0:34am