Languages for formalizing, visualizing and verifying software architectures

R.C. van Ommering, R.L. Krikhaar, L.M.G. Feijs

Research output: Contribution to journal › Article › Academic › peer-review

13 Citations (Scopus)

1 Downloads (Pure)

Access to Document

@article{4a1ea580bb8d4e6495bbd973395be65c,

title = "Languages for formalizing, visualizing and verifying software architectures",

author = "{van Ommering}, R.C. and R.L. Krikhaar and L.M.G. Feijs",

year = "2001",

doi = "10.1016/S0096-0551(01)00013-3",

language = "English",

volume = "27",

pages = "3--18",

journal = "Computer Languages",

issn = "0096-0551",

publisher = "Pergamon Press Ltd.",

number = "1-3",

}