Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Computer Science Education Journal (Journal or book series)
Seidl, M.
(Editor)
Peter Clarke (Editor)
Institute of Formal Models and Verification
Activity
:
Publication peer-review and editorial work
›
Editorial work
Period
Dec 2011
Type of journal
Journal
Fields of science
102 Computer Sciences
101 Mathematics
102011 Formal languages
JKU Focus areas
Computation in Informatics and Mathematics