Deductive Verification of UML Models in TLPVS

Thumbnail Image

Date

2004

Authors

Arons, T.
Hooman, J.J.M. Jozef
Kugler, H.
Pnueli, A.
Zwaag, M.B. van der

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer-Verlag

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/111102

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By