Bibtex

Juliana Küster Filipe, A logic-based Formalization for Component Specification

@article{JOT:issue_2002_08/article13, author = {<a href="/contents.html?query=Filipe">Juliana K\"{u}ster Filipe</a>}, title = {A logic-based Formalization for Component Specification}, journal = {Journal of Object Technology}, volume = {1}, number = {3}, issn = {1660-1769}, year = {2002}, month = aug, editor = {<a href="/contents.html?query=Mingins">Christine Mingins</a>}, note = {Proceedings of the TOOLS USA 2002 Conference, July 28 - 31, 2002 --- Santa Barbara, CA}, pages = {231-248}, doi = {10.5381/jot.2002.1.3.a13}, url = {http://www.jot.fm/contents/issue_2002_08/article13.html} }

Back