Browse DORAS
Browse Theses
Search
Latest Additions
Creative Commons License
Except where otherwise noted, content on this site is licensed for use under a:

Author: Kabir, Md. Humayun

Number of items: 1.

2007

Kabir, Md. Humayun (2007) Automatic inductive theorem proving and program construction methods using program transformation. PhD thesis, Dublin City University.

This list was generated on Thu Apr 27 04:23:31 2017 IST.