Institute for Computing and Information Sciences | Radboud University

The Institute for Computing and Information Sciences (iCIS) aims to improve the fundamentals of software development via formal, mathematically founded theories, methods, and tools that support the specification, design, analysis, and evaluation of computer-based systems.

关键词：Institute for Computing and Information Sciences, ICIS