Naoto Sato

Identifiers

• name variant Naoto Sato 0.60 · backfill

Papers (2)

1. DeepSaucer: Unified Environment for Verifying Deep Neural Networks cs.SE · 2018 · author #1
2. Abstract Data Types in Event-B - An Application of Generic Instantiation cs.SE · 2012 · author #5

Mentions

• 1210.7283 #5 · backfill · confidence 0.70 Naoto Sato

Frequent Coauthors

• Thai Son Hoang 2 shared papers
• Andreas F\"urst 1 shared papers
• David Basin 1 shared papers
• Hideto Ogawa 1 shared papers
• Hironobu Kuruma 1 shared papers
• Kunihiko Miyazaki 1 shared papers
• Masanori Kaneko 1 shared papers
• Michael Butler 1 shared papers
• Yuichiroh Nakagawa 1 shared papers