An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Filipe”
Juan Jose Mendoza Santana
,
Juliana Küster Filipe Bowles
,
Formal reasoning over class models using TOMM
, pp. 12:1-20,
PDF
,
DOI
.
Volume 18, no. 2 (July 2019)
Juliana Küster Filipe
,
A logic-based Formalization for Component Specification
, pp. 231-248,
PDF
,
HTML
,
DOI
.
Volume 1, no. 3 (August 2002)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact