An operational semantics for specificati
โ
G. Engels; U. Pletat; H. -D. Ehrich
๐
Article
๐
1983
๐
Springer-Verlag
๐
English
โ 947 KB