Bibtex

Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles, Formal reasoning over class models using TOMM

@article{JOT:issue_2019_02/article12, author = {<a href="/contents.html?query=Mendoza Santana">Juan Jose Mendoza Santana</a> and <a href="/contents.html?query=Küster Filipe Bowles">Juliana Küster Filipe Bowles</a>}, title = {Formal reasoning over class models using TOMM}, journal = {Journal of Object Technology}, volume = {18}, number = {2}, issn = {1660-1769}, year = {2019}, month = jul, editor = {<a href="/contents.html?query=Combemale">Benoit Combemale</a> and <a href="/contents.html?query=Shaukat">Ali Shaukat</a>}, note = {The 15th European Conference on Modelling Foundations and Applications}, pages = {12:1-20}, doi = {10.5381/jot.2019.18.2.a12}, url = {http://www.jot.fm/contents/issue_2019_02/article12.html} }

Back