Abstract Data Types in Event-B – An Application of Generic Instantiation. (2012)

by D A Basin, A Furst, T S Hoang, K Miyazaki, N Sato
Venue:In Workshop on the experience of and advances in developing dependable systems in Event-B, volume abs/1210.7283 of CoRR,