![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
International Refinement Workshop (Refine)
18th Refine 2018: Oxford, UK
- John Derrick
, Brijesh Dongol
, Steve Reeves
:
Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. EPTCS 282, 2018 [contents]
17th Refine 2015: Oslo, Norway
- John Derrick
, Eerke A. Boiten, Steve Reeves
:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents]
16th Refine 2013: Turku, Finland
15th Refine 2011: Limerick, Ireland
- John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents]
14th Refine@FMWeek 2009: Eindhoven, The Netherlands
- Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009 [contents]
13th Refine@FM 2008: Turku, Finland
- Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Electronic Notes in Theoretical Computer Science 214, Elsevier 2008 [contents]
12th Refine@IFM 2007: Oxford, UK
- Eerke A. Boiten, John Derrick, Graeme Smith:
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007. Electronic Notes in Theoretical Computer Science 201, Elsevier 2008 [contents]
11th Refine@ICFEM 2006: Macao
- Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 187, Elsevier 2007 [contents]
10th Refine 2005: Guildford, UK
- John Derrick, Eerke A. Boiten:
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005. Electronic Notes in Theoretical Computer Science 137(2), Elsevier 2005 [contents]
9th Refine@FLoC 2002: Copenhagen, Denmark
- John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science 70(3), Elsevier 2002 [contents]
8th Refine 1998: Canberra, Australia
7th Refine 1996: Bath, UK
6th Refine 1994: London, UK
- David Till:
6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, Springer 1994, ISBN 978-3-540-19886-4 [contents]
5th Refine 1992: London, UK
- Cliff B. Jones, Roger C. Shaw, B. Tim Denvir:
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, Springer London 1992, ISBN 978-3-540-19752-2 [contents]
4th Refine 1991: Cambridge, UK
3rd Refine 1990: Winchester, UK
2nd Refine 1989: Milton Keynes, UK
1st Refine 1988: York, UK
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.