Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Article

Boiten, Eerke Albert and Derrick, John and Dong, Jin Song and Reeves, Steve (2012) Editorial: Special issue on Refine 2009. Formal Aspects of Computing, 24 (1). pp. 182-196. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-011-0220-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Freitas, Angela and Nascimento, Carla M. and Cavalcanti, Ana L. C. (2003) A Refinement Tool for Z. In: Dong, Jin Song and Woodcock, Jim, eds. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003. Lecture Notes in Computer Science, 2885. Springer-Verlag pp. 396-415. ISBN 978-3-540-20461-9. (doi:https://doi.org/10.1007/b94115) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

UNSPECIFIED (2003) ICFEM2003: 5th International Conference on Formal Engineering Methods. In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, November 5-7, 2003, Singapore. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Sun May 26 11:51:15 2019 BST.