Stem architecut$ (all stems)
1 papers:
WICSA-1999-HirschIM #constraints #graph grammar #modelling #theorem proving- Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving (DH, PI, UM), pp. 127–144.
WICSA-1999-HirschIM #constraints #graph grammar #modelling #theorem proving