University of Tasmania
Browse

File(s) not publicly available

Reasoning about Object Systems in VTLoE

journal contribution
posted on 2023-05-16, 09:50 authored by Mason, IA, Talcott, CL
No description available

History

Publication title

International Journal of Foundations on Computer Science

Volume

6

Pagination

265-298

ISSN

0129-0541

Department/School

School of Natural Sciences

Publisher

World Scientific Publ Co Pte Ltd

Place of publication

Singapore

Repository Status

  • Restricted

Socio-economic Objectives

Other information and communication services not elsewhere classified

Usage metrics

    University Of Tasmania

    Categories

    Keywords

    No keyword provided

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC