国民年金法の述語論理による記述と検証 SMTソルバーZ3Pyを用いたケーススタディ

Overview of attention for article published in Computer Software, September 2019

Altmetric Badge

About this Attention Score

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

国民年金法の述語論理による記述と検証 SMTソルバーZ3Pyを用いたケーススタディ https://t.co/a6BWz43wjm これか

"国民年金法の述語論理による記述と検証 SMTソルバーZ3Pyを用いたケーススタディ - https://t.co/xuNa6NQgV9" #みてる

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

Click here to find out how to access more activity.