UOBScholar Hub
UOB Libraries created the UOBScholar Hub, an Institutional Repository (IR) for archiving and collecting all the research output of the UOB community. It aims to improve the visibility, usage and impact of research conducted at UOB. Materials included are: academic journal articles, conference papers and presentations, books and book chapters, ongoing research papers, reports and patents.
Submit your Publication
Browsing by Subject Formal verification
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2003 | Synthesizing data structure requirements from algorithm specifications : case studies from recursive subdivision for computer graphics and animation. | Abbas, Abdulwahed; Nasri, Ahmad H |