G. Michaelson and K.Hammond. The Hume Language Definition and Report, Version 0.2. Technical report, Heriot-Watt University and University of St Andrews, Jan. 2002. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. Self-citation (Michaelson Hammond) (Correct)
No context found.
G. Michaelson and K.Hammond. The Hume Language Definition and Report, Version 0.2. Technical report, Heriot-Watt University and University of St Andrews, Jan. 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC