Formal Specification of Software

Activity: OtherIncoming (legacy data)

Description

Abhaltung der LVA von David Lightfoot
Period28 May 201830 May 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)