TY  - RPRT
TI  - Abstract Data Types in Event-B - An Application of Generic Instantiation
AU  - David Basin
AU  - Andreas Fürst
AU  - Thai Son Hoang
AU  - Kunihiko Miyazaki
AU  - Naoto Sato
PY  - 2012
UR  - https://arxiv.org/abs/1210.7283
ID  - 1210.7283
ER  -