Browse by Document type and subtype

D

Duy, Joanna (2008) Re-imagining the possible: a new electronic article delivery service. In: 76th ABQLA Conference: 2008, April 11-12, 2008, Montreal, QC. (Unpublished)

M

Mokhov, Serguei A. and Paquet, Joey (2008) Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. In: 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 2008, Emerging Trends Proceedings, August 2008, Montreal, QC, Canada.