Publikationer per år
Publikationer per år
- 8 resultat
Sökresultat
-
2019
NWPT 2017 - Special issue
Walden, M. (red.), 2019, Elsevier. (Journal of logical and algebraic methods in programming; vol. 105)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
Öppen tillgångFil1 Nedladdningar (Pure) -
2017
Proceedings of the 29th Nordic Workshop on Programming Theory
Walden, M. (red.), 2017, Turku Centre for Computer Science.Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
-
2013
Proceedings of the 4th Rodin User and Developer Workshop
Butler, M. (red.), Hallerstede, S. (red.) & Walden, M. (red.), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; nr. 18)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
-
2012
The 22nd Nordic Workshop on Programming Theory (NWPT 2010)
Walden, M. (red.) & Petre, L. (red.), 2012, Elsevier.Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
-
2010
Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT' 2010
Walden, M. (red.) & Petre, L. (red.), 2010, Turku Centre for Computer Science (TUCS). (TUCS General Publication; nr. 57)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
-
2004
Special issue of the 15th Nordic Workshop on Programming Theory
Sere, K. (red.) & Walden, M. (red.), 2004, 2 red. Turku, Finland: Nordic Journal of Computing.Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
-
2003
Proceedings of the 15th Nordic Workshop on Programming Theory NWPT’03, 29.-31.10.2003: abstracts
Sere, K. (red.) & Walden, M. (red.), 2003, Turku, Finland: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series B; vol. 03-34)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
-
ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Bert, D. (red.), Bowen, J. (red.), King, S. (red.) & Walden, M. (red.), 2003, Heidelberg: Springer-Verlag. (LNCS; vol. 2651)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review