| Mason, IA and Talcott, CL, “Reasoning about Object Systems in VTLoE”, International Journal of Foundations on Computer Science, 6 (3) pp. 265-298. ISSN 0129-0541 (1995) [Refereed Article] |
| Data Type | Value |
|---|
| Type of Research | Pure Basic Research |
| Research Division | Information and Computing Sciences |
| Research Group | Theory of computation |
| Research Field | Theory of computation not elsewhere classified |
| Research Objective Division | Information and Communication Services |
| Research Objective Group | Other information and communication services |
| Research Objective Field | Other information and communication services not elsewhere classified |
| Visit Item on eCite | http://ecite.utas.edu.au/5206 |
| Digital Object Identifier | doi:10.1142/S0129054195000160 |
