Towards Component-based Reuse for Event-B

Andrew Edmunds, Marina Walden, Colin Snook

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskaplig

Filter
Slutfört

Sökresultat