Skip to main navigation Skip to search Skip to main content

Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Journal or book series)

Activity: Publication peer-review and editorial work › Editorial work

Period2011
Type of journalJournal

Fields of science

  • 101002 Analysis
  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 102 Computer Sciences
  • 101 Mathematics
  • 101009 Geometry
  • 102011 Formal languages
  • 101006 Differential geometry
  • 101005 Computer algebra
  • 101025 Number theory
  • 101003 Applied geometry
  • 102025 Distributed systems

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links