You are here: irt.org | FOLDOC | BMASF
Basic Module Algebra Specification Language? "Design of a Specification Language by Abstract Syntax Engineering", J.C.M. Baeten et al, in LNCS 490, pp.363-394.
Nearby terms: blurgle « bm « BMAN « BMASF » BMDP » B-Method » BMF
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL