Distributed System Development in B

Michael Butler, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

OriginalspråkEngelska
Titel på gästpublikationProceedings of the First B Conference
UtgivningsortIRIN, Nantes, France
Sidor155-168
StatusPublicerad - 1996
MoE-publikationstypA4 Artikel i en konferenspublikation

Citera det här