Use of U2B for Specifying B Action Systems

Colin Snook, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskaplig

Sökresultat