Skip to main navigation Skip to search Skip to main content

Verified Software Development with the B-Method

Activity: OtherIncoming (legacy data)

Description

Abhaltung der LVA von Herrn Koreko
Period22 Mar 201823 Mar 2018

Fields of science

  • 102029 Practical computer science
  • 102009 Computer simulation
  • 102 Computer Sciences
  • 102011 Formal languages
  • 102022 Software development
  • 102013 Human-computer interaction
  • 102024 Usability research

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Engineering and Natural Sciences (in general)