External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Composition-Nominative Logics in Rigorous Development of Software Systems

Mykola S. Nikitchenko, Valentyn G. Tymofieiev. Composition-Nominative Logics in Rigorous Development of Software Systems. In Heinrich C. Mayr, Christian Kop, Stephen W. Liddle, Athula Ginige, editors, Information Systems: Methods, Models, and Applications - 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers. Volume 137 of Lecture Notes in Business Information Processing, pages 140-151, Springer, 2012. [doi]

Authors

Mykola S. Nikitchenko

This author has not been identified. Look up 'Mykola S. Nikitchenko' in Google

Valentyn G. Tymofieiev

This author has not been identified. Look up 'Valentyn G. Tymofieiev' in Google
runs on