Kunihiko Miyazaki

Identifiers

• name variant Kunihiko Miyazaki 0.60 · backfill

Papers (1)

1. Abstract Data Types in Event-B - An Application of Generic Instantiation cs.SE · 2012 · author #4

Mentions

• 1210.7283 #4 · backfill · confidence 0.70 Kunihiko Miyazaki

Frequent Coauthors

• Andreas F\"urst 1 shared papers
• David Basin 1 shared papers
• Naoto Sato 1 shared papers
• Thai Son Hoang 1 shared papers