Reasoning about Action Systems using the B-Method

Marina Walden, Kaisa Sere

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

25 Citeringar (Scopus)
OriginalspråkEngelska
Sidor (från-till)5-35
TidskriftFormal Methods in System Design
Volym13
Utgåva1
StatusPublicerad - 1998
MoE-publikationstypA1 Tidskriftsartikel-refererad

Citera det här