Michael Anthony Smith

Affiliations:

According to our database¹, Michael Anthony Smith authored at least 3 papers between 2007 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Embedding an object calculus in the unifying theories of programming.

[BibT_eX]

[DOI]

PhD thesis, 2010

2008

Unifying Theories of Locations.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

2007

Unifying Theories of Objects.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007