Marti Nicolas | Dept. of Computer Science, University of Tokyo

スポンサーリンク

概要

• MARTI Nicolasの詳細を見る
• 同名の論文著者
• Dept. of Computer Science, University of Tokyoの論文著者

関連著者

• 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

スポンサーリンク