|
2019 Edited Outputs Formal methods teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, ProceedingsBrijesh Dongol, Luigia Petre and Graeme Smith eds. (2019). Formal methods teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, 7 October 2019. Cham, Switzerland: Springer International Publishing. |
|
2008 Edited Outputs Electronic Notes in Theoretical Computer Science: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007)Boiten, E., Derrick J. and Smith, Graeme Paul eds. (2008). Electronic Notes in Theoretical Computer Science: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). BCS-FACS Refinement Workshop (REFINE 2007), Oxford, England, 2 July 2007. Amsterdam, The Netherlands: Elsevier Science .. |
|
2007 Edited Outputs Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007)Eerke Boiten, John Derrick and Graeme Smith eds. (2007). Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). International Refinement Workshop (Refine 2007), Oxford, United Kingdom, 2 July, 2007. Amsterdam, The Netherlands: Elsevier. |
|
2007 Edited Outputs Electronic notes in theoretical computer science: proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)Judi Romijn, Graeme Smith and Jaco van de Pol eds. (2007). Electronic notes in theoretical computer science: proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005). IFM 2005: Fifth International Conference on Integrated Formal Methods. Doctoral Symposium, Eindhoven, Netherlands, 29 November 2005. Amsterdam, Netherlands: Elsevier. |
|
2005 Edited Outputs Integrated Formal MethodsJ. Romijn, G. P. Smith and J. van de Pol eds. (2005). Integrated Formal Methods. 5th International Conference on Integrated Formal Methods (IFM 2005), Eindhoven, The Netherlands, 29 November - 2 December 2005. Berlin, Germany: Springer-Verlag. |
|
2004 Edited Outputs Integrated Formal MethodsE. Boiten, J. Derrick and G. P. Smith eds. (2004). Integrated Formal Methods. Integrated Formal Methods, Canterbury, UK, 4-7 April, 2004. Berlin, Germany: Springer-Verlag. |
