DMCA

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

Cached

Download Links

by David Basin , Thai Son Hoang , Kunihiko Miyazaki , Naoto Sato
Citations:3 - 1 self