NicholsonWeb

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 Theory of Classes from the Theoretical Foundations of {{LePUS3}}},
    volume = {6991},
    booktitle = {13th International Conference on Formal Engineering Methods},
    publisher = {Springer},
    author = {Nicholson, Jonathan},
    month = oct,
    year = {2011}
  }

This reference will be updated with more information, and a digital copy will become publicly available, at a later date.