Generating JML Specifications from UML State Diagrams

Thumbnail Image

Date

2003

Authors

Hubbers, E.M.G.M. Engelbert
Oostdijk, M.D. Martijn

Journal Title

Journal ISSN

Volume Title

Publisher

Frankfurt : ECSI

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By