Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Publications & Outputs
>
Generating Object-Oriented Formal Specification...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Lancaster University
Keywords
cs_eprint_id
,
19 cs_uid
,
1
View graph of relations
Generating Object-Oriented Formal Specifications from Process Sequence Diagrams
Research output
:
Contribution to conference - Without ISBN/ISSN
›
Other
Unpublished
Overview
Cite this
Pete Sawyer
J. Araújo Jr
Close
More...
Publication date
01/1998
<mark>Original language</mark>
English
Event
Eleventh International Conference on Software Engineering & its Applications
-
Duration:
1/01/1900
→ …
Conference
Conference
Eleventh International Conference on Software Engineering & its Applications
Period
1/01/00
→ …