PhD Thesis

Formal Computations and Methods

Publications

See my Google Scholar profile