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