Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
An Approach for Specification Construction Using Property-Preserving Refinement Patterns
Conference
Ding, Junhua, Mo, Lian, He, Xudong. (2008). An Approach for Specification Construction Using Property-Preserving Refinement Patterns .
797-+.
Share this citation
Twitter
Email
Ding, Junhua, Mo, Lian, He, Xudong. (2008). An Approach for Specification Construction Using Property-Preserving Refinement Patterns .
797-+.
Copy Citation
Share
Overview
Research
Location
Additional Document Info
View All
Overview
cited authors
Ding, Junhua; Mo, Lian; He, Xudong
authors
He, Xudong
date/time interval
March 16, 2008 -
publication date
January 1, 2008
webpage
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000268392200144&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=e451fd656366bf1ec5554941920a9ccb
Research
keywords
Computer Science
Computer Science, Interdisciplinary Applications
Property-Preserving
Refinement
Science & Technology
Software Architecture
Technology
Location
Location
Fortaleza, BRAZIL
Additional Document Info
Conference
23rd Annual ACM Symposium on Applied Computing
publisher
ASSOC COMPUTING MACHINERY
start page
797
end page
+