An implementation of static semantics for architectural specifications (2000)

by B Klin
Venue:Warsaw University