An Extensible Encoding of Object-oriented Data Models in hol

Metadata only

Author

Date

2008

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Journal of Automated Reasoning

Volume

41(3-4)

Pages / Article No.

219 - 249

Publisher

Springer

Subject

Object-oriented data models; Theorem proving; Verification; hol

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection