Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/60299
| Type: | Conference paper |
| Title: | A practical approach to incremental specification |
| Author: | Lakos, C. Lewis, G. |
| Citation: | Proceedings of the Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 2000 / S. Smith and C. Talcott(eds.): pp.233-256 |
| Publisher: | Kluwer Academic Publishers |
| Publisher Place: | Boston, Dordrecht, London |
| Issue Date: | 2000 |
| ISBN: | 0792379233 |
| Conference Name: | International Conference on Formal Methods for Open Object-Based Distributed Systems (4th : 2000 : Stanford, California, USA) |
| Editor: | Smith, J. Talcott, C. |
| Statement of Responsibility: | Charles Lakos and Glenn Lewis |
| Rights: | Copyright 2000 by International Federation for Information Processing. All rights reserved. |
| Description (link): | http://www.springer.com/computer/communication+networks/book/978-0-7923-7923-2 |
| Appears in Collections: | Aurora harvest 5 Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.