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

Related Materials

1.
DOI - Is supplement to Reasoning about Object Systems in VTLoE

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

Socio-economic Objectives

Other information and communication services not elsewhere classified

Repository Status

Restricted

Usage metrics

University Of Tasmania

Categories

Theory of computation not elsewhere classified

Keywords

No keyword provided

Licence

Exports