DigitUMa: Percorrer o repositório

Percorrer por assunto JML

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou inserir as letras iniciais:

Mostrar resultados 1-2 de 2.

Data	Título	Autor(es)	Tipo	Acesso
14-Nov-2014	Code generation for event-B	Rivera Zúñiga, Victor Alfonso	doctoralThesis
2009	JML- Based formal development of a Java card application for managing medical appointments	Rodrigues, Ricardo Miguel Soares	masterThesis

Mostrar resultados 1-2 de 2.