Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 7.
Article
Boiten, Eerke Albert (2016) Big Data Refinement. Electronic Proceedings in Theoretical Computer Science, 209 . pp. 17-23. ISSN 2075-2180. E-ISSN 2075-2180. (doi:https://doi.org/10.4204/EPTCS.209.2) (Full text available) |
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) |
Boiten, Eerke Albert and Derrick, John and Reeves, Steve (2009) Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009). Electronic Notes in Theoretical Computer Science, 259 . pp. 182-196. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.12.013) (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
Boiten, Eerke Albert (2011) Perspicuity and Granularity in Refinement. In: Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. Proceedings 15th International Refinement Workshop. Electronic Proceedings in Theoretical Computer Science, 55. pp. 182-196. (doi:https://doi.org/10.4204/EPTCS.55.10) (Full text available) |
Edited book
Boiten, Eerke Albert and Derrick, John and Reeves, Steve, eds. (2015) Proceedings 17th International BCS-FACS Refinement Workshop. Electronic Proceedings in Theoretical Computer Science . Electronic Proceedings in Theoretical Computer Science ISBN 20752180. (Submitted) (doi:https://doi.org/10.4204/EPTCS) (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) |
Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2013) Proceedings of the 16th International BCS-FASCS Refinement Workshop, Turku. Electronic Proceedings in Theoretical Computer Science . Electronic Proceedings in Theoretical Computer Science ISBN 20752180. (doi:https://doi.org/10.4204/EPTCS.115) (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) |
Derrick, John and Boiten, Eerke Albert and Reeves, Steve, eds. (2011) Proceedings 15th International Refinement Workshop. Electronic Proceedings in Theoretical Computer Science, 55 . EPTCS ISBN 20752180. (doi:https://doi.org/10.4204/EPTCS.55) (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) |