Reasoning about Action Systems using the B-Method

Marina Walden, Kaisa Sere

Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

25 Sitaatiot (Scopus)
AlkuperäiskieliEnglanti
Sivut5-35
JulkaisuFormal Methods in System Design
Vuosikerta13
Numero1
TilaJulkaistu - 1998
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Viittausmuodot