Publikationer per år
Publikationer per år
- 8 resultat
Sökresultat
-
2019
NWPT 2017 - Special issue
Walden, M. (Redaktör), 2019, Elsevier. (Journal of logical and algebraic methods in programming; vol. 105)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
Öppen tillgångFil21 Nedladdningar (Pure) -
2017
Proceedings of the 29th Nordic Workshop on Programming Theory
Walden, M. (Redaktör), 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. (Redaktör), Hallerstede, S. (Redaktör) & Walden, M. (Redaktör), 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. (Redaktör) & Petre, L. (Redaktör), 2012, Elsevier. (The Journal of Logic and Algebraic Programming; vol. 81, nr. 3)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
Öppen tillgång -
2010
Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT' 2010
Walden, M. (Redaktör) & Petre, L. (Redaktör), 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. (Redaktör) & Walden, M. (Redaktör), 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. (Redaktör) & Walden, M. (Redaktör), 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. (Redaktör), Bowen, J. (Redaktör), King, S. (Redaktör) & Walden, M. (Redaktör), 2003, Heidelberg: Springer-Verlag. (LNCS; vol. 2651)Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review