Formalizing the Transition from Requirements to Design
Griffith University Author(s)
MetadataShow full item record
Mathematical Frameworks for Component Software Models for Analysis and Synthesis
© 2006 World Scientific Publishing Co. Pte. Ltd. Reproduced here in accordance with publisher policy. Please refer to the book for the definitive published version.