I’ve been accepted to the 13th International Conference on Formal Engineering Methods with the following paper: J. Nicholson, “A Theory of Classes from the Theoretical Foundations of LePUS3,” in 13th International Conference on Formal Engineering Methods, Durham, UK, 2011. [Bibtex] @inproceedings{nicholson_theory_2011, address = {Durham, {UK}}, series = {Lecture Notes in Computer Science}, title = {A [...]
Archive of posts filed under the Research category.