DigitUMa: Browsing Repository

Browsing by Subject JML

Jump to: 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
or enter first few letters:

Showing results 1 to 2 of 2

Issue Date	Title	Author(s)	Type	Access Type
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

Showing results 1 to 2 of 2