Patterns for Refinement Automation
- Lookup NU author(s)
- Dr Alexei Iliasov
- Dr Elena Troubitsyna
- Professor Alexander Romanovsky
|
|
|
|
| Author(s) | | Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A |
| Editor(s) | | de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | Formal Methods for Components and Objects: 8th International Symposium (FMCO) |
| Conference Location | | Eindhoven, Netherlands |
| Year of Conference | | 2010 |
| Date | | 4-6 November 2009 |
| Volume | | 6286 |
| Pages | | 70-88 |
| Series Title | | Lecture Notes in Computer Science |
| | 0302-9743 |
| ISBN | | 9783642170706 |
| |  |
|
|
|
| Full text for this publication is not currently held within this repository. Alternative links are provided below where available. |
|
|
|
| Publisher | | Springer |
| URL | | http://dx.doi.org/10.1007/978-3-642-17071-3 |
| DOI | | 10.1007/978-3-642-17071-3 |
|
|
Actions | |   |
| Library holdings | | Search Newcastle University Library for this item |
