Vol-1384⫷ Vol-1385 ⫸Vol-1386
urn:nbn:de:0074-1385-0


Vol-1385/paper6⫷Vol-1385/paper7⫸Vol-1385/paper8
Fuyuki IshikawaNaoto Sato

Separation of Considerations in Event-B Refinement toward Industrial Use