Accessible Formal Methods A Study of the Java Modeling Language

Journal Title

Thumbnail Image

Issue Date

2017-04-17

Authors

Rawding, Michael
Andriamanalimanana, Bruno; Advisor
Spetka, Scott; Reviewer
Vishwanathan, Roopa; Reviewer

Publisher

URI

http://hdl.handle.net/1951/69177

Keywords

Abstract

Description

Item has moved: http://hdl.handle.net/20.500.12648/1101

DOI

Collections

Content Designation

Accessibility Statement

Request Accessible Version