Affeldt Reynald | Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST)

スポンサーリンク

概要

• Affeldt Reynaldの詳細を見る
• 同名の論文著者
• Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST)の論文著者

関連著者

• Marti Nicolas

  Dept. of Computer Science, University of Tokyo

• Affeldt Reynald

  Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST)

著作論文

• A Certified Verifier for a Fragment of Separation Logic

スポンサーリンク