Integration of Specification Languages Using Viewpoints

Marius C. Bujorianu. Integration of Specification Languages Using Viewpoints. In Eerke Boiten, John Derrick, Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Volume 2999 of Lecture Notes in Computer Science, pages 421-440, Springer, 2004. [doi]

@inproceedings{Bujorianu04,
  title = {Integration of Specification Languages Using Viewpoints},
  author = {Marius C. Bujorianu},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2999&spage=421},
  tags = {C++},
  researchr = {https://researchr.org/publication/Bujorianu04},
  cites = {0},
  citedby = {0},
  pages = {421-440},
  booktitle = {Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings},
  editor = {Eerke Boiten and John Derrick and Graeme Smith},
  volume = {2999},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21377-5},
}